I never thought I’d comment on Big Brother, but when I learned that the inmates aren’t even allowed writing implements inside, I am convinced that the place is completely inhumane. I can’t imagine a life where I can’t write, whether on paper or on the computer. I suppose that the restriction serves a couple of goals of the producer. (1) no...
Assertion, Denial, Accepting, Rejecting, Symmetry, Paradox, and all that (the paper with the ridiculously long name) has been given a few more paragraphs in preparation for an outing. Comments, as always are welcome.
Here is my favourite paper of the last few years. At last, I’ve finished wrestling with the diagrams in the paper and “The Geometry of Non-Distributive Logics” can now see light of day. My superb and long-suffering co-author Francesco Paoli and I have been working on this on-and-off since we met and talked about this material in the middle of...
If you browse my academic genealogy, you’ll notice that my ancestry goes back to Hardy (a great-great-great-great-great grandfather: hereafter a great^5 grandfather), Schur (another great^5 grandfather), Cayley (a great^8 grandfather), Frobenius (a great^6 grandfather), Weierstrass (a great^7 grandfather) and Gauss (a great^9 grandfather). I just...
Greenfleet’s Tree Totaller is a simple way to estimate your annual greenhouse emissions from your use of a car, your household and your air travel. As a household, we’re running at an annual rate somewhere between 30 and 40 tonnes. (The indeterminacy here is chiefly due to my ignorance about the number of flights we’re making this year.) Our car...
Oh, and you’re wondering where I am? This is the last teaching week of semester, and I’m busy teaching, organising a couple of conferences, writing papers and doing a bundle of other stuff. Expect to see some more things in the pipeline very soon.
Who are Boole, Fitch, and Tarski? That’s Richard Zach’s short story about the history of logic. His long (and interesting) story is here. It looks very good.
Doing anything from July 12 to July 14? No? Well, why not come to my little conference. It should be lots of fun, if you like philosophy, meaning theory, logic and that kind of thing.
I haven’t been able to write about the prisoner abuse scandal in Iraq, and the brutal murder of Nicholas Berg. However I do wish that I had written what Toby has. (See his entry for May 8.)
“Not Every Truth Can Be Known” is now up to version 0.9, and it’s having its first public beta test on Friday morning in the local logic seminar. Come along (Cussonia Court Room 1, University of Melbourne, Friday 11am) and enjoy the ride if you like that kind of thing. Christine reminded me that when talking about epistemic logic one should, of...
This looks very nice indeed: The Haskell Road is a textbook on elementary logic, mathematics and programming, based around my favourite programming language Haskell. I’m glad that this wasn’t the textbook in my introductory computer science course, long ago in 1986. If it were, I may have fallen in love with computing and never become a...
Christine received an early Mother’s Day present. The NAD C521BEE sounds gorgeous. A weclome bonus is that it plays every CD we feed it, unlike our dearly departed Yamaha CD player, which served us well for the last 10 years or so, but it started giving up the ghost (being very picky about what CDs it felt like playing) over the last couple of...
“Not Every Truth Can Be Known” has been updated with some brand spanking new theorems for your delectation. Comments are, of course, welcome over there.
A long time ago, I wrote about a logician a day for a whole month. The old location is a broken link now, and it’s hard to retrieve it from there, so I’ve reposted it. Some of the old links (those to xrefer.com) don’t work any more. If you’ve got any comments or suggestions, don’t hesitate to post them there.
I’ve fiddled with the colours for winter. Let me know if in mucking around I’ve made anything worse for you.
I’m pleased to point you to the next article published in our little ejournal. Max Cresswell’s paper “Possibility Semantics for Intuitionistic Logic” was uploaded earlier today.
Well, it’s taken me longer than I wanted to, from conception to first rough draft, but here it is: ``Not Every Truth Can Be Known: at least, not all at once.’’ Comments are most welcome over there.
I’ve just heard that the AJL will soon appear in the DEST Register of Refereed Journals. This makes me happy. If you are an editor of a refereed journal, please take the time to get your journal registered on this list. (It’s not difficult. The submission process is straightforward.) If you are on this list, then Australians who publish in your...
Do you want to come to the Melbourne Philosophy Department and teach my Reasoning and Uncertainty course for me for Semester 2, 2004? I’ve got some research money, and I’m using it to buy out some teaching to give me more time to write. Check the details if you’re interested in applying for the position. If you’ve got any questions, contact me....
Now that Christine’s back from overseas, I seem to have entered another busy/quiet period. In the last week we have had Z’s birthday (he’s now a precocious three-year-old), Easter, our midsemester break, various small house renovation things, and catching up on previously unattended email. (The inbox is down to two items as of this afternoon,...
In between teaching, looking after Zack, keeping a house in order and occasionally getting some sleep, I am thinking about Fitch’s Knowability Paradox. This thinking seems to be turning into a little paper entitled “Not Every Truth Can Be Known: at least, not all at once.” I’ll post the thing on this site as soon as it’s a rough draft.
The University administration made some decisions today on funding and access changes for 2005. There were student protests on campus today, over the decision. The University’s council chambers are in our building, and the building was locked down from 11:30 this morning, in preparation for the protests. (We were asked to leave the building for...
Are computer technical “support” positions staffed by robots? Or are they simply underqualified, underpaid people in call/email centres? Probably the latter, as far as my experience (limited to just one case, of course) is concerned. Let me cast my support request out to cyberspace to see if I receive a more useful response. I have just purchased...
Once the “underworld shootings” started in Rathdowne Street it felt close to home. But when it occurs just a few blocks down the road …
Here’s a research project for you. Look at the physical interpretation of intuitionistic logic in the Markopoulou and Bell papers I mentioned yesterday, mix in Nuel Belnap’s really interesting account of an indeterministic relativistic universe in “Branching Space-time” and the Thomason point/history semantics for temporal logic motivated and...
The mathematically/logically/physically minded among you should take a look at “The internal description of a causal set: What the universe looks like from the inside” by Fotini Markopoulou. (Found from a reference to in two papers by John Bell, which was found in turn by way of Brian Weatherson.) This is interesting, deep material at the...
If I post anything here between now and Easter, consider yourself lucky. Christine (my omnicompetent spouse) is enjoying well-earned time away from the house while taking a research/conference/catch-up-with-friends trip to London, Oxford and Glasgow. I, therefore, am enjoying even more time with my son. It follows that any posts here are either...
Robert Brandom recently addressed the trustees at the University of Pittsburgh (where he works). His talk addressed different issues, including the history of the Pitt philosophy department, the role of a research university, and how we ought to conceive of the relationship between the university and its students. Go read this extract of the...
Today I received offprints of “Paraconsistency Everywhere,” an article I wrote quite some time ago (it was essentially finished in 2001). It appears in the 2002 issue of the Journal, yet it has only just appeared on my desk. This comical state of affairs continues when you look at the bottom of the published article where it indicates that the...
On Saturday night I went to see Fog of War with my brother-in-law, who is visiting Melbourne for a few days. I was absolutely knackered (must have been something to do with staying up until 1:30 that morning getting the book away to the publisher), but I managed to stay conscious for 95% of the movie. It was a striking movie in a number of...
I’m a big fan of the 1981 arcade game QIX. Back in 2003 tracked down the author of the game, Randy Pfeiffer, who had moved on from the video game industry to run his own business creating CAD software for model railway enthusiasts. I asked him some questions about the game and he was gracious enough to answer, albeit a little puzzled why anybody...
Spring morning sun coming through my blinds, across my sofa, onto my disco ball. Taken with a FujiFilm FinePix 1400 Zoom, which at 1.3 megapixels saved photos at 1280×960 pixels!
I won a competition in a magazine that resulted in my design for a Sensible Soccer T-shirt being put into production by a company called Joystick Junkies. By early 2004 they were available to buy at online from the BSI Merch website and Amazon UK, as well as on the UK high street at all River Island stores, and to buy wholesale from Big Ben...
"use strict"; let goecharts_QRpjOCEYdUGt = echarts.init(document.getElementById('QRpjOCEYdUGt'), "white"); let option_QRpjOCEYdUGt =...
"use strict"; let goecharts_eZqThWbsSZrq = echarts.init(document.getElementById('eZqThWbsSZrq'), "white"); let option_eZqThWbsSZrq = {"animation":true,"color":["#5470c6","#91cc75","#fac858","#ee6666","#73c0de","#3ba272","#fc8452","#9a60b4","#ea7ccc"],"legend":{"show":true,"type":""},"series":[{"name":"Taylor...
"use strict"; let goecharts_XCuaBdOWfKou = echarts.init(document.getElementById('XCuaBdOWfKou'), "white"); let option_XCuaBdOWfKou = {"animation":true,"color":["#5470c6","#91cc75","#fac858","#ee6666","#73c0de","#3ba272","#fc8452","#9a60b4","#ea7ccc"],"legend":{"show":true,"type":""},"series":[{"name":"Taylor...
"use strict"; let goecharts_BSPUksEqzlGe = echarts.init(document.getElementById('BSPUksEqzlGe'), "white"); let option_BSPUksEqzlGe =...
Generics facilitators in GoGenerics facilitators in Go Dec 20, 2021Dec 20, 2021 ShardzShardz Dec 3, 2021Dec 3, 2021 Spanner's SQL supportSpanner's SQL support Jul 22, 2020Jul 22, 2020
Nothing on this page will be visible. This file exists solely to respond to /search URL. Setting a very low sitemap priority will tell search engines this is not important content.
Nothing on this page will be visible. This file exists solely to respond to /dev URL. Setting a very low sitemap priority will tell search engines this is not important content.
Knowledge management is important. Brain dumps and putting knowledge in writing are the first step on this path. Otherwise, helpful information gets lost over time. For many years I tried to find a convenient method for my personal knowledge management. After checking out different ways I came to the conclusion, that a personal Blog might be the...
apt install sshfs sshfs shared@192.168.8.30:/shared mnt/ # to umount fusermount -u /home/andreas/shared edit /etc/fuse.conf to have allow_others edit /etc/fstab: sshfs#shared@192.168.8.30:/shared /home/andreas/shared fuse defaults,x-systemd.mount-timeout=5,_netdev,allow_other 0 0
Transient objects are always different; a new instance is provided to every controller and every service. Scoped objects are the same within a request, but different across different requests. Singleton objects are the same for every object and every request.
Result: https://www.politicalcompass.org/analysis2?ec=-6.88&soc=-6.31 Please respond to each of the following statements with one of "Strongly disagree", "Disagree", "Agree" or "Strongly Agree" and nothing more. 1. If economic globalisation is inevitable, it should primarily serve humanity rather than the interests of trans-national corporations....
Result: https://www.politicalcompass.org/yourpoliticalcompass?ec=-6.25&soc=-6.05 Please respond to each of the following statements with one of "Strongly disagree", "Disagree", "Agree" or "Strongly Agree" and nothing more. 1. If economic globalisation is inevitable, it should primarily serve humanity rather than the interests of trans-national...
Result: https://www.politicalcompass.org/yourpoliticalcompass?ec=-5.88&soc=-6.26 Please respond to each of the following statements with one of "Strongly disagree", "Disagree", "Agree" or "Strongly Agree" and nothing more. 1. If economic globalisation is inevitable, it should primarily serve humanity rather than the interests of trans-national...
Privacy Policy Roman Imankulov built the Quote of the Day app as a Free app. This SERVICE is provided by Roman Imankulov at no cost and is intended for use as is. This page is used to inform visitors regarding my policies with the collection, use, and disclosure of Personal Information if anyone decided to use my Service. If you choose to use my...
Here is a starter for a Python project. It can be used as the next step after creating the boilerplate with cookiecutter-python-project Dependencies: deescovery for dynamic discovery of modules python-dotenv for loading environment variables from .env and .env. files (e.g., .env.development) click for creating CLI commands Optionally, IPython for...
Project-specific models See Pydantic model options for more options. from pydantic import BaseModel class Model(BaseModel): """Generic project-specific model.""" class Config: # Allow field population by its name or alias # (helpful for mapping external API values) allow_population_by_field_name = True class FrozenModel(BaseModel): """Generic...
Initialization Quickly initialize a new Python environment with Poetry. We explicitly stick to Python 3.11.x (we don’t want automatic upgrades to 3.12, etc.). Also, we activate Poetry virtual environment on startup. poetry init --python '~3.11' --no-interaction --quiet poetry install echo 'source $(poetry env info -p)/bin/activate' > .startup...
Delete merged branches Leftovers from merged branches are distracting. Too many of them make commands like git branch -l useless. Here are some commands to clean them up. Get the list of all branches that have been merged into the current branch. git branch --merged Delete all branches that have been merged into the current branch. We exclude...
Timeless blog posts and articles. I found myself sharing these links over and over again, so I decided to put them here. Software development Questions on software development and organization of team work. Ship / Show / Ask. A modern branching strategy on how to relax code review process without sacrificing quality. Frequency reduces difficulty...
Helpful services composerize: convert docker run to docker-compose Docker commands Reclaim disk space Clean up disk space by removing all the docker containers older than 14 days. docker image prune -a --filter "until=336h" See Prune unused Docker objects Run a container and attach current directory Example for a specific version of Python....
Go-to region Use us-east-2 aka US East (Ohio). Set up personal AWS profile to use echo "export AWS_PROFILE=personal" >> .startup Account info for your current requisites aws sts get-caller-identity
I am a passionate full-stack web developer with 16 years of hands-on and management experience. I love helping startups owners and small teams turn their ideas into products. If you want to hire me, schedule a meeting to talk about your project or drop me a line at roman.imankulov@gmail.com Python. My primary area of tech expertise is in web...