Readit NewsDeleted Comment
A bit off-topic, but I find it weird that they use "group" to refer to Apple, instead of, say, "Company". Is this an FT thing? I kept thinking that they were talking about some larger group of Silicon Valley companies (i.e. "the Silicon Valley group"), but no, they just meant Apple.
Apple group of companies, rather than a specific legal entity. A common distinction in financial journalism.
Implement Lex Talionis for gross misconduct in public office. Did an official, through gross negligence, cause irreparable harm to innocents? Mete the same harm upon them; then empathy may stop being a weakness.
/s, but I became less sure of it as I typed.
FYI: Lex, not Rex.
But a Rex Talionis is an interesting concept too.
occamrazor commented on Gemma 2: Improving Open Language Models at a Practical Size [pdf] storage.googleapis.com/de... · Posted by u/tosh
Just saw this, might get lost in the noise, but just for posterity, apparently the Gemma 2 models were specifically RL’d to index on Chat Arena performance: https://x.com/natolambert/status/1806384821826109597
(Relevant sections of the paper highlighted.)
On prompts only, with answers presumably from the teacher model (Gemini).
It was not trained or RLHFd on Arena replies or user preferences.
occamrazor commented on Sharing new research, models, and datasets from Meta FAIR ai.meta.com/blog/meta-fai... · Posted by u/TheAceOfHearts
Is it just me or does Meta seem to be doing better than most companies right now open sourcing their AI research?
How so? Maybe in the past, but nothing announced today is open.
occamrazor commented on Terence Tao on proof checkers and AI programs scientificamerican.com/ar... · Posted by u/antineutrino
For now this might be a project for Fields medalists, like Tao and Scholze, who have the leisure to spend 10x the time on a proof. I recently talked to a post-doc in a top-ranked math department, and he doesn't know anyone who actually uses lean4 in their work. For early-career people, it's probably better to trust your intuition and get the papers out.
For Tao, spending 10x time on aproof still means spending 5x less time than an average postdoc. He is incredibly fast and productive.
occamrazor commented on Man creatively sneaks onto Delta flight, but gets caught onemileatatime.com/news/m... · Posted by u/jerlam
I've thought up this exact scam before while standing in line to board a flight and watching people being cavalier with their boarding passes.
I suspect others have successfully pulled it off before and this guy was the first to get caught because of a full flight.
My back seat driver solution: have cameras that takes a picture of the person presenting the boarding pass, the shutter is triggered by the pass scanner. If a pass is scanned twice, bring up the photo of the person who scanned it the first time and grab them. But it's a whole lot of tech to solve a problem that probably rarely happens.
On all flights I have taken the flight attendants count the passengers on board before taxiing and check the lavatories. This method wouldn't have worked even with available free seats.
occamrazor commented on Jpegli: A new JPEG coding library opensource.googleblog.com... · Posted by u/todsacerdoti
Google Zürich also did Zopfli, a DEFLATE-compliant compressor that gets better ratios than gzip by taking longer to compress.
Apparently Zopfli = small sweet breat
Zopf means “braid” and it also denotes a medium-size bread type, made with some milk and glazed with yolk, shaped like a braid, traditionally eaten on Sunday.
In the general case then yes, but here you can't take addresses of dictionary values (the compiler won't let you) so adding 1 byte to make a unique pointer for the struct {} shouldn't be necessary.
Unless it is used in the implementation of the map I suppose.
So I conjecture a bit of internal magic could fix this.