skysight-inc/HackerNews huggingface dataset:
Yep, not that many top-tier talent in the US willing to be in the factory for the graveyard shift under high pressure. The lines run 24/7 and if anything is slightly wrong techs need to be already on site to go fix it, because it's crap tons of money for every second of downtime. That leads to a corporate culture where even R&D has similar pressures from your boss (because essentially you're always racing with the competing fabs).
I haven’t been there since 2015. Genuine question - if you walk from Moscone to the ferry building (a common thing I’d do during WWDC’s), is it pretty much a safe walk for a young woman at night now?

I know this is a short walk, but it’s basically the only personal datapoint I have. Felt like it was gradually decaying the three times I was there, in 2013-2015.
Russia has been very clear about their goals. They want to reestablish the Soviet borders (and later to expand them).

The only question is who will they invade first, and will they have capacity to do so?
Oh yeah, and in some cases if the system attempts to go into S2 sleep it simply bricks the SSD forever. I lost a whole lab worth of drives once before I figured it out. The vendor was the opposite of helpful, refusing to acknowledge the problem and then wiping their hands of it and walking away. The only solution I've found requires a hardware modification of the drive, downloading a rip of the vendor's internal repos from a sketchy russian website, building a new firmware from scratch, and then flashing it with some custom hardware.
We're trying to get the word out around people interested in batteries, that's why I kept it as light as possible, just so that people can learn about it and see if they're interested! :)
The way I read it, this is reportage from a person who worked with the ship about things which happened some months ago. There is nothing to say this equipment was still on board.

> They said no further equipment returned to the ship after it was offloaded for analysis, to their knowledge
I do not know from where the quote is but he wrote a book - Order Without Design
Love this in theory but the first time user experience could be improved:

$ brew install ghostty

Launch it, don't configure anything, in the new terminal window then enter:

$ lazydocker

Response:
2024/12/28 09:04:42 An error occurred! Please create an issue at https://github.com/jesseduffield/lazydocker/issues

*exec.ExitError exit status 1
/home/runner/work/lazydocker/lazydocker/main.go:96 (0x9397d7)
/opt/hostedtoolcache/go/1.21.13/x64/src/runtime/internal/atomic/types.go:194 (0x43bc1b)
/opt/hostedtoolcache/go/1.21.13/x64/src/runtime/asm_amd64.s:1650 (0x46b9e1)

Which does not happen with fresh out of the box Mac Terminals, iTerm.

Probably it would be good to have less specific default options for people who just want to try it out before starting to configure it.
It looks like it's written in latex to me. Standard formatting varies across departments, and the author is in the business school at CMU.

In some fields, single author papers are more common. Also, outside of ML conference culture, the journal publication process can be pretty slow.

Based on the above (which is separate from an actual evaluation of the paper), there are no immediate red flags.

Source: I am a PhD student and read papers across stats/CS/OR.
But in all honesty, if LLMs were really that miraculous, we wouldn't have such detractors. Like, I don't remember any widespread anti-search-engine sentiment when Google came out. I can name many technologies that don't get such a visceral reaction like LLMs do.

At the end of the day, we build (or should build) technology for the betterment of society. If at the end of the day, large swathes of the population are unhappy or upset at a given technology, that in and of itself should be a sign that something is wrong.

Obviously LLMs aren't going away so I think we should listen to the detractors and try to better understand how we can steer this technology for the better.
Unfortunately, launching a fancy TUI like lazydocker inside a fresh install of Ghostty will make the TUI exit with an error, when the same TUI runs just fine on iTerm, alacritty, etc.
Rust Will Explode, SBOMs Will Be Duds: Open-Source Predictions
Many of the chemicals in smoke particles cause cancer with extended contact.

But not new. At all.
Panic attacks, especially as described by the OP (caused by normal situations, takes "days to recover"), likely fall within the realm of psychiatric care instead of mere psychological care, so I would argue they are a medical issue in this case.
It is, like you said, good enough. A (sometimes disappointing) miracle.

So we can stop making it bigger/smarter and instead focus on making it more acessible.
I am running RPi OS with GNOME 43.9 and was wondering if you have a release build for Arm (Pi 5)?
Is it just me, or did this behemoth get built in record time? Extremely impressive.
I happened upon a swerving drunk-driving police car once. A tesla would have continued on, following the rules of the road, trying to pass the swerving drunk-driving police car, likely getting in an accident with it. I was smarter, and I stayed the fuck away, far far back from it and changed my course to avoid it.
Too bad for car navigation users that do not even have a mental picture of the main roads network.
Like they are doing to Palestine ?
The US has checks. Most other nations have mostly (or completely) phased them out for more than 2 decades.

Credit cards are just chip carriers now. Mag stripe is being phased out. So either you use the chip connection or use contactless. The cards issued by my bank (Australia) aren't embossed and the mag stripes will probably disappear once the banking 3rd world (US + some of Asia) catches up with the rest of the world.

Oh and contactless is literally the same protocol as the contact connections, so "just tapping their phone around" is exactly the same (to the terminal) as "just tapping their card around" or "just inserting their card to read".

Government ID could be done in a privacy enhanced way that only provides the requestor attestation of the required information and nothing else.

eg
* "Is this person that just provided an encrypted and unreadable blob from their ID card over 18?" "Yes".

* "Is the person that just provided an encrypted and unreadable blob called John Doe?" "Yes".

The government already has all of your identification from birth to death.

By (mostly) definition, your identification is what your local government says it is.
They wouldn't. Instead, they'd try to keep charging you automatically for out-of-plan extra nailing, and if you denied them the ability to charge your CC, they'll put your debt to collections by the end of the month.
I'd call this paper a "big deal" in that it is a normalization of, very fair summary of, and indication that there is a future for, LLMs in pure mathematics from one of its leading practitioners.

On HN here, we've spent the last few years talking and thinking a lot about LLMs, so the paper might not include much that would be surprising to math-curious HN'ers. However, there is a large cohort of research mathematicians out there that likely doesn't know much about modern AI; Terence is saying there's a little utility in last-gen models (GPT-4), and he expects a lot of utility out of combining next-gen models with Lean.

Again, not surprising if you read his blog, but I think publishing a full paper in AMS is a pretty important moment.
> I'm also trying to avoid subjective measures, so even if it isn't "good", an LLM can already write a book.

I mean, if ‘good’ is not a criteria, then so can a cat.

“What can they do _usefully_” is perhaps a more interesting question, and it’s a far shorter list. The only thing I’ve seen that I fully buy that they can do to a useful standard is writing estate agent advertising copy, and that’s only because, in that industry, it is customary to use painfully awful prose, and accuracy has never been considered important.
Interesting that they didn’t even consider doing an “AI pivot”
Tseitin_CLI: Transform boolean equation to CNF with Tseitin Transformation
It sounds very interesting. From the perspective of someone who finds it hard to make friends, it seems to me that such a concept is completely impossible. How diverse human connections and experiences are!
Our New School
I wonder who you are referring to when you say "we"
Super interesting! Thanks for the link.

Would you say Lean is a somewhat learnable language for somebody who only has cursory exposure to functional programming and static types? I’ve almost exclusively used typescript for the last few years, except for some clojure in the last few months.

Sometimes I find a neat language, but my very TS-oriented brain has a hard time getting into it.
Best Practices for ScyllaDB Driver Configuration
Russia proved incapable of invading all of Ukraine in 3 years. They do want all of former USSR but it is clearly impossible. And with that in mind, it is criminal and on the Western side to not provide Ukraine with enough military assistance to decisively defeat Russia. I don't know what West is doing, honestly.
But this plant cant stand alone, I mean if something bad happens to TSMC on Taiwan, then they will no be able to move fab to the newer nodes, I think.
Like every other non-EU citizen when entering/exiting the Schengen area.

As an AU passport holder it's been like that for at least 30 years.
> For example when I ask for help with Postgres queries

I’m really quite surprised that people trust these things to do this, because it is _particularly_ easy to subtly screw up in SQL. Probably quite a few of the queries that ‘work’ are also incorrect.

Have you considered, well, reading a book and learning to do it yourself? There is value to knowing how things work (and without having at least some understanding of how a database works, you are going to struggle to write performant, correct queries for it). Asking a magic robot for its best guesses is never going to produce a great result.
Some other guy interviewed by Norwegian television also came out from the arbiter room, but he didn't get fined. His pants looked like worn jeans, but since it wasn't denim material (only made to look like ugly jeans) it was ok. Highlights how weird the rules are.
> I'm a bit disappointed that we've ended up with Rust in the kernel but not Ada.

Why? Do you program in Ada or Coq?

People can't be bothered to track lifetimes, what makes you think they are ready to track pre/post-conditions, invariants and do it efficiently and thoroughly.
> An example of something you can do in a dependently typed language is write a sorting function in such a way that the type checker proves that the output will always be in sorted order. I am pretty sure this cannot be done in Ada; checking at runtime does not count!

It actually can be done in Ada, but not purely with the type system, instead we rely on SPARK, which converts Ada code and passes it through various automatic theorem provers. Some examples of fully proven sorting functions are here: https://github.com/AdaCore/spark2014/blob/master/testsuite/g...

You can also see from the above code just how good theorem provers and SPARK are now with the reasonably low number of assertions required to both prove that the output is sorted and prove that the input and output contain the same elements, not to mention all the hidden proofs relating to integer overflow, out-of-bounds access, etc..

You could maybe do all this with types and SPARK, but it's not the approach that would usually be taken.
I guess this should be easy to build on val.town or https://bolt.new/
Returning handles would introduce subtle memory management issues because the garbage collector wouldn't know which objects it should keep alive. With the stack-based API the user can only ever interact with objects that are on the stack and thus are kept alive by the garbage collector. The Lua authors explain this in the following article:
https://queue.acm.org/detail.cfm?id=1983083

I would agree that the Lua C API itself is not very eegonomic, but the wrappers/bindings it enables absolutely are! For example, integrating Lua in C++ with sol2 is an absolute joy.
Quite like hevy app too
That depends - they probably have to do whatever is in the best interests of the non-profit, so if they explain the motivations behind why they feel they are acting within their responsibility then that could probably help a defence.

IANAL though. I assume you can make a case though that says OpenAI needs to be able to raise sufficient capital to maintain its current market position, and these changes are required for that, and without maintaining market position the non-profit arm will not be able to achieve its aims.

As they have to act in the interests of the non-profit arm, I assume there must be an element of mens rea (state of mind) - the same action could probably be illegal or legal depending on why it was done.
Which leads me to ask the question how the prevention of the TikTok ban would benefit Trump personally.
People, or at least normal people (psychopaths do this) do not generally behave as LLMs do, that is confidently producing complete nonsense when they don’t know the answer (of course the metaphor breaks down further here; LLMs don’t know anything).
Rome was not built in a day. I think it’s a stepping stone for that
The same effect can be observed in animals and one theory is that it's a stress reaction to densely populated environments.

https://academic.oup.com/endo/article/162/11/bqab154/6354390
Spy devices are often of passive "listening" nature.

Is it operating an RF jammer or laser? Those things suck power.
Love what you've built OP

Quick thought: Since you're tackling large codebases, maybe add some zoom controls?
Yeah I remember with the 8266 we could do all sorts of cool stuff but Expressif took it upon themselves to block a whole range of operations with the ESP32 :'(

I guess that they had no choice, the 8266 was originally meant to only be used in serial to WiFi converters but it kinda exploded in the maker community. I guess that drew regulator attention.

But cool to see that this is being worked around.
A simple question. Why do people watch chess tournaments?

A: To see administrators administrate.

B: To see chess players play chess.

Someone somewhere has lost sight of a most basic fundamental that everything else they may care about rests on.
I use GnuCash for my personal accounting, and have a flow down to import my monthly cashflow and categorize everything into my ledger. What does such accounting software provide on top of that?
Actually, most of the paper seems a bit obvious from the computer science side. LLMs scale for really complex tasks, but they are neither correct nor complete. If combined with a tool that is correct (code verifiers, interactive theore provers), then we can get back a correct pipeline.
Yes it's pretty handy for hacker camps. I still have one too. Especially because out on the camping fields the WiFi coverage can be hit and miss. This way you can even get calls when you walked to the toilet building or the car park.

Also it's got its own frequency so it's not cluttering the ones used for WiFi, Bluetooth, Zigbee etc.

I guess they could use an app or something but dect is rock stable and has much better range than WiFi.

I got a nice Siemens one that is about the size of a nokia 8210 so it's not like you have to carry a huge brick either. I guess the battery is pretty dead now though. But it is replaceable like all batteries of that time.
Yes. I don‘t mean in the video. I mean in your posting.
I don't need a map – I have a GPS
You point to the membrane as a leakage source, but most RO systems also use flexible hosing in the assembly and from past work in medical devices it seems that flexible hosing is also a huge source of phthalate leakage.

Is that something that is also taken into account in higher end RO systems?
I think you've managed to hit the nail on the head.

Rather than accept the rather human nature of people writing in their own style and making mistakes, we'd prefer to filter it through a dispassionate void first.

It's rather embarrassing how quickly we're willing to toss away the human elements of writing.
I came across this in a manual/datasheet:

>16.Link Width Negotiation in the Presence of Bad Lanes

>In an effort to maximize the link width when one or more lanes of a multi-lane link are not functioning correctly (i.e., reliable communication of training sets across the lane is not possible), PES64H16G2 down-stream switch ports automatically attempt a lane reversed configuration when doing so has the potential to enhance the achievable link width.For example, if lane 1 of a x4 link is not operating correctly, the device's downstream switch port attached to the link attempts a lane reversed configuration to form a x2 link using lanes 2 and 3 (Figure 7.4(d)). If the link partner accepts the lane reversed configuration, the optimal x2 link will be formed using lanes2 and 3. If the link partner does not accept the lane reversed configuration, but instead requests a lane configuration supported by the PES64H16G2 (e.g., x1 link using lane 0), the device accepts the configuration and forms the reduced width link. Otherwise, if the lane numbering agreement fails, the device automatically re-trains the link from the Detect state. During this re-training, the PES64H16G2 port does not re-attempt a lane reversed configuration, but rather tries to form the link without reversing the lanes. As a result, a x1 link is formed using lane 0 (Figure 7.4 (e)).

My guess is it's likely a bad BGA solder ball on Lane1, or possibly ESD damage if you took the SSD out and molested it or rubbed it on a cat right before it broke. Does it indicate it's using reversed lanes?
> In 2012 the idea of self-driving cars was almost ridiculous, let alone dedicated infrastructure for them

Really? The dedicated infrastructure makes things quite an lot easier. Here’s a fully self-driving ‘train’ (really an articulated bus with a guide rail; it has tyres) from 1983: https://en.wikipedia.org/wiki/Lille_Metro

Now, you might cry foul at the guiderail, but if you have the dedicated infrastructure, why _not_ include the guiderail? It’s when you don’t have dedicated infrastructure that you have a problem.
That sounds incredible! I have a strong desire to upload my childhood creations there.
Several options to hear all about him:

https://news.ycombinator.com/item?id=18728147
> Just a few years ago, passing the Turing test seemed an unattainable goal

Who geniunely thought that? Eliza could almost fool a human and that was in the 1960...

LLMs are a neat thing for doing some tedious task but I saw them making plain stupid mistakes that makes my skin crawl.
Indeed. Fascinating puzzle. Without an external source of energy there must be a volume of water leaving the system that doesn't make it to the higher level. If it was possible to partition the water and the energy but not with the same partition (ie, 40% of the water gets 80% of the energy, 60% of the water the other 20%) then the system would be thermodynamically legal. So maybe the vortex was to create a high- and low- pressure mass of water.

This mechanism is ingenious in the best meaning of the word.
I've repeatedly wished for a mechanism integrated into a phone that allows displaying one or more documents (e.g. QR codes, tickets, some other form of document to be displayed) while having the phone otherwise locked (in lockdown mode, so a password is required to unlock it). That would make it much safer to display a QR code on your phone without the net effect of having your phone unlocked when going through security.

Until then, I'll continue to print such things out on paper.
I wonder why there are no lawsuits from the companies that had to pay to unlock the trains and did not get any documentation what was fixed/replaced to get it running (in 10min) especially that it was not a single train that had to be unlocked. It's like having ransomware on the plc.
This is a good cautionary story of why random parts-swapping can be a waste of time and money. Getting out the DMM and measuring voltages is something fewer and fewer people know how to do when troubleshooting electronics, but it certainly saved the OP here; I'd go a little further and figure out why the monitor seems to be leaking power into its HDMI input when switched off --- possibly an ESD-damaged MOSFET or similar?

The issue does not occur when the monitor is connected via DisplayPort.

https://en.wikipedia.org/wiki/DisplayPort#DP_PWR_(pin_20)

Standard DisplayPort cable connections do not use the DP_PWR pin.

There's also an interesting paragraph there, about some nonstandard cables connecting that pin through.
Good catch, missed that bit.
Computers are to manipulate data, not to manipulate a pointer to a pointer to a pointer to a pointer to data.

They can do that too, but the cache miss cost already makes that expensive.
> I'm having a hard time believing that "a few suitcases" of equipment would strain the generator of a large ship.

Perhaps it's a mistake in reporting, and the added equipment strained the local wiring/breakers of the bridge area it was installed into, causing "blackouts" that weren't ship-wide.
> You think it's easier to require setting up a third party account, adding your card to it, getting the card authorised, and doing the payment that way, with fees.

> Than putting 20 digits in your own bank's application and pressing "send"?

Posting from U.S. (and admittedly a very U.S.-centric response), but in the case of Venmo/Paypal/buymeacoffee/Patreon/gofundme, yes.

I spent another half-hour trying to go the route of Wise suggested by a sibling comment but got stuck in the KYC hurdles. I already sent them my I.D. several times, but the selfie-verification flow won't complete for me, and I'm drawing the line at choosing not to install their app. (And well, I bit the bullet and installed app. It refuses to take a clear selfie, no matter how clear the the preview is /shrug)
MS are preparing their fallback plan from OpenAI
A huge % of animal synapses seem to contribute to motor control and signal processing.

It’s interesting how a relatively small # of synapses can do all abstract reasoning when free from those concerns.

Take the pre-frontal cortex, leave the rest.
I think saying that the author is stuck in his ways and is just fighting change is a bit too simplistic.

- All major tech companies becoming "AI first"
- The websites we use are still slow and buggy
- "AI" feature bloat everywhere
- Noting that the end-goal of these companies are not to enhance some technical professional's workflow, but to become truly ubiquitous, inserted into everything (how else could such high valuations be made)
- Prioritization of profits above good products (enshitification)

These are all valid points to bring up. The author is just saying that he wants his personal website to remain free from LLM usage, probably out of a desire for agency more than anything.
Web Development Trends in 2024: A Shift Back to Simplicity
Understandable. I didn't really want to pick on this much more than it had been, already

I can't anticipate and make every argument, despite everyone on the internet trying.
If there is no plan to make it standalone, even worse, for TSMC it would be illegal to make this plant the leading one,

then still US should put more money into Intel
I think I've started to prefer text with spelling and grammatical errors now, to a certain degree at least.
> 2. Representation clauses almost entirely eliminate the need for the error-prone manual (de-)serialisation that's littered all over Linux driver code:

Do representation clauses let you specify endianess? From a quick glance at that link it didn't appear so. I would imagine that invalidates most use cases for them.
Schism Tracker – free and open-source reimplementation of Impulse Tracker
Yes and no. Ecall is but telemetry is not. And ecall only makes a call in case of a crash.