#jsonschema TSC member and author of the Python implementation. lean.nvim author, bringing #neovim support to my greatest addiction: the Lean theorem prover. (And various other OSS projects.)
Free time is lots of travelling, music-ing, photog-ing, #coffee-ing, #chess-ing & learning.
I hate politics and rhetoric, but it is no longer the time to stay silent.
(Work is VP of Client Innovation at Quantum Rise, but no work opinions here.)
he/him
| GitHub | https://github.com/Julian |
| TIL | https://til.grayvines.com |
| Photos | https://photos.grayvines.com |
| https://www.linkedin.com/in/julian-berman/ |
With no warning, typing `g` in Firefox's address bar -- which for years of muscle memory always autocomplete-suggested `github.com` for me -- now is completing to `google.com` (which I don't use).
"Googling" how to make this stop is less than fruitful. I've deleted google.com from my history, tried randomly hitting shift+delete on it, right clicking it (neither of which do anything), ...
Hey #TMobile what reason could there be for me to need to call in and wait on hold with customer service if you're saying you have an upgraded gateway to send me to improve my home Internet, and that that's no charge?
Just send it, or make me click a button, instead of sending me to 30 minute wait times to speak to someone and provide who knows what information could be necessary here.
Package management, every 6 months:
```
brew unlink parallel && \
brew upgrade moreutils && \
brew unlink moreutils && \
brew upgrade parallel && \
brew link moreutils && \
brew link --overwrite parallel
```
Danish Minister of Justice and chief architect of the current Chat Control proposal, Peter Hummelgaard:
"We must break with the totally erroneous perception that it is everyone's civil liberty to communicate on encrypted messaging services."
Share your thoughts via https://fightchatcontrol.eu/, or to [email protected] directly.
Source: https://www.ft.dk/samling/20231/almdel/REU/spm/1426/index.htm
> In the more tranquil past, I myself was content to largely focus on technical or personal aspects of my own research, teaching, and mentoring, and leave the broader political debate and activism to others; but in our current environment, when even the most benign activities are subject to capricious disruption and political interference, the luxury of disengagement is no longer a viable option.
from @tao's https://newsletter.ofthebrave.org/p/im-an-award-winning-mathematician
$ brew upgrade
Error: Cask 'tailscale-app' definition is invalid: 'conflicts_with' stanza failed with: #<Cask::DSL::ConflictsWith:0x0000000134362ad8> is not related to #<UnboundMethod: Kernel#odeprecated(method, replacement=..., disable: ..., disable_on: ..., disable_for_developers: ..., caller: ...) /opt/homebrew/Library/Homebrew/extend/kernel.rb:148> - how did we get here?
Good question #homebrew Gooood question.
#IPAM (the institute for pure and applied mathematics) is now fundraising to ensure continuity of operations during this suspension of NSF funding. Information can be found at
https://www.ipam.ucla.edu/news/nsf-funding-to-ipam-suspended/
and donations can be made at
https://giving.ucla.edu/Campaign/Donate.aspx?SiteNum=136&Fund=61766C
It is tempting to view the capability of current AI technology as a singular quantity: either a given task X is within the ability of current tools, or it is not. However, there is in fact a very wide spread in capability (several orders of magnitude) depending on what resources and assistance gives the tool, and how one reports their results.
One can illustrate this with a human metaphor. I will use the recently concluded International Mathematical Olympiad (IMO) as an example. Here, the format is that each country fields a team of six human contestants (high school students), led by a team leader (often a professional mathematician). Over the course of two days, each contestant is given four and a half hours on each day to solve three difficult mathematical problems, given only pen and paper. No communication between contestants (or with the team leader) during this period is permitted, although the contestants can ask the invigilators for clarification on the wording of the problems. The team leader advocates for the students in front of the IMO jury during the grading process, but is not involved in the IMO examination directly.
The IMO is widely regarded as a highly selective measure of mathematical achievement for a high school student to be able to score well enough to receive a medal, particularly a gold medal or a perfect score; this year the threshold for the gold was 35/42, which corresponds to answering five of the six questions perfectly. Even answering one question perfectly merits an "honorable mention". (1/3)
Tim Bray
Fight Chat Control
Terence Tao