skysight-inc/HackerNews huggingface dataset:
> One question generated particular concern: what would happen if an AI system produced a proof of a major conjecture like the Riemann Hypothesis, but the proof was too complex for humans to understand? Would such a result be satisfying? Would it advance mathematical understanding? The consensus seemed to be that while such a proof might technically resolve the conjecture, it would fail to deliver the deeper understanding that mathematicians truly seek.

I think this is an interesting question. In a hypothetical SciFi world where we somehow provably know that AI is infallible and the results are always correct, you could imagine mathematicians grudgingly accepting some conjecture as "proven by AI" even without understanding the why.

But for real-world AI, we know it can produce hallucinations and its reasoning chains can have massive logical errors. So if it came up with a proof that no one understands, how would we even be able to verify that the proof is indeed correct and not just gibberish?

Or more generally, how do you verify a proof that you don't understand?
I love how everything is just "AI" now.
Machine Learning? AI
Random Forest models: AI
Some basic curve fitting? AI
People in India Mechanical Turk-ing responses ? AI.
A guy in a van running the robot pouring you a drink? AI.
There was this too, for Sony's Bravia: https://www.bbc.com/news/uk-scotland-68904040

"The day explosions of colour painted a Glasgow estate: In 2006, Sony set out to create 'Paint', widely regarded as one of the most technically complex adverts ever made..."
Tired of dealing with dependency issues and complex setups? With just a few commands, you can have a fully functional Rails + PostgreSQL environment running seamlessly in Docker. No hassle, no conflicts—just code! Check out my latest article on how to streamline your development process and optimize your workflow.
When will LLMs become human-level bloggers?
On the topic of better management, I can't believe they haven't replaced Sundar Pichai. Satya Nadella by comparison really seemed to have turned MS around.

Larry Page was making the rounds when all of this AI hype started. He seemed to have a much more aggressive stance, even ruffling feathers about how many hours Google employees should be working to compete in AI. And there is obviously Demis Hassabis who is the most likely contender for a replacement.

I doubt it is an easy position to fill. But Pichai has presided over this lackluster Google. Even if he isn't strictly to blame, I am surprised he hasn't be replaced.
Tiling is now built in to MacOS if you want to give that a try:

https://support.apple.com/guide/mac-help/mac-window-tiling-i...
Unless you're working 80 hours a week you're not doing two jobs. You're doing one job.
This is, nearly exactly, like saying you've seen screens slowly display text before, so you're not impressed with LLM.

How it's doing it is the impressive part.
You forgot: has an active antitrust investigation which could in theory split the company in unpredictable ways.
only if you externalize all the costs
Their AI strategy is just baffling. It lacks direction and vision.

They have a thinking model way back ago, which is pretty good with clean CoT and good performance close to R1. But it never gets any marketing whatever.

Veo2 has really good performance too, yet it is so slow in its rollout now Chinese competitors are getting all attentions because it is just easier to access.

It feels to me that Google is reliving its experience with messengers where you they have multiple competing roadmaps from different parties. The execution is disoriented and slow.

They will have to catch up in 2025, the fact grok is this good in one year is a wake up call to everyone, especially Google.

If they failed to do so, Gemini is going nowhere, it already has no tractions outside of Google, nobody’s first instinct when it comes to AI is Gemini
Funny coincidence. I've written a small 3D rendering engine for the ESP32 as well last week. It has standard 3d math, clipping, and rasterization of points, lines and triangles. all in ~1500 lines of code. The repo is not polished yet but you can find it here: https://github.com/aap/psiop
Not in any way that is relevant to the conversation about AI that has exploded this decade
Amazon forest felled to build road for climate summit
$12 in gold this year and $12 * (1+x) next year != $12 flat every single year
Slim attention: cut your context memory in half without loss of accuracy
Slim attention shrinks the context memory size by 2x for transformer models with MHA (multi-head attention), which can speed up inference by up to 2x for large context windows. Slim attention is an exact, mathematically identical implementation of the standard attention mechanism and therefore does not compromise model accuracy. In other words, slim attention losslessly compresses the context memory by a factor of 2.
For encoder-decoder transformers, the context memory size can be reduced even further: For the Whisper models for example, slim attention reduces the context memory by 8x, which can speed up token generation by 5x for batch size 64 for example.
And for rare cases where the MHA projection dimension is larger than the embedding dimension, the memory can be reduced by a factor of 32 for the T5-11B model for example
Again, if you're big enough to end up on their radar AND they have some method of enforcement, then yeah, better be compliant.

Even in that case, it's not like you're going to get suddenly arrested on holiday in the EU with zero advance warning.

I'll just continue to ignore VAT and GDPR, and I expect that there's a 99.999% chance nothing will ever happen.
1 kg of rice has 1300 calories. Not enough for most adults. And not very appetizing if that’s all you eat
Strongly recommend murderbot diaries (starts with "All systems red").

Has a cyborg/AI as protagonist and paints a really interesting world with AIs and synthetic biology in it. Also does a good job at just shutting up about things it can not talk about, like interplanetary travel.
That's somewhat understandable but i really think we should be able to tell the users they're wrong. Can always add an in-site button labeled appropriately but honestly i think we should've never made things so easy. Some level of abrasion upon using a computer is essential to force learning. The kids today don't know anything past the app user interface. They have no concept of what's going on at all. I'm ranting now aren't I. How old do i have to be to get my 'Old Man Yells At Cloud' card?
This reminds me of my favorite note [1] from Ursula Le Guin on technology:

> Its technology is how a society copes with physical reality: how people get and keep and cook food, how they clothe themselves, what their power sources are (animal? human? water? wind? electricity? other?) what they build with and what they build, their medicine — and so on and on. Perhaps very ethereal people aren’t interested in these mundane, bodily matters, but I’m fascinated by them, and I think most of my readers are too.

> Technology is the active human interface with the material world.

[1] https://www.ursulakleguin.com/a-rant-about-technology
Social Security Administration Cuts Will Affect You
The lack of NSFW knowledge/capability makes them less useful for content moderation. I've tried to use multimodal models for categorizing images from large, mixed data sets. 95% of the input is safe for work. 4% contains nudity but is not sexually explicit. 1% contains nudity and is also sexually explicit. I'd like to categorize content so that nudity is hidden from users by default and that sexually explicit content is always hidden.

Every model I've tried so far is bad at distinguishing sexually explicit content from mere nudity, and many models are bad at distinguishing nude from non-nude. I don't know about Gemma 3 but Google's large commercial Gemini models refuse (or formerly refused; haven't tried recently) to tell me anything useful about images containing human figures. I assume that this is due to aggressive "safety" measures. On a technical basis, I assume that a model that can distinguish 10 different breeds of dog should also be able to usefully describe images of people wearing swimsuits, nude people, and people engaged in sexual intercourse.
Do these links work for anyone? I keep getting TLS errors.
I'd say Lisbon, Portugal is probably the closest (including Weather, which places like Seattle are lacking), especially because you didn't mention pre-existing tech industry which is probably SF's main differential versus everywhere else. It even has a big red bridge?

P.S: I'm sorry Lisboetas..you are already getting swamped by Digi Nomads, but it's true.
Are Natural Deodorants Better for You
Then let's just break it down between Jewish descended (Abrahamic) and not

China adopted communism which is ultimately a philosophy whose patrimony is European and all that entails.

> Eastern Orthodox is actually a great example of the diversity of all major religions— they have national churches (Greek Orthodox, Russian Orthodox).

I mean... Sure and they still have common beliefs descended from Judaism and Christianity?
Just saying, I'd think about buying their desktop gear if Linux could take advantage of all the hardware.
I'm not sure there's ever been more options for good shows that a parent can watch and genuinely enjoy with their kids. Try Avatar the Last Airbender/Legend of Korra, Hilda, Sarah & Duck, Adventure Time, Miraculous, The Dragon Prince, MLP Friendship is Magic, She-Ra and the Princess of Power, Samurai Jack, Gravity Falls, Ducktales (the new one, but the old one isn't bad either), Cleopatra in Space, Amphibia, Star vs. the Forces of Evil, Owl House, Craig of the Creek, Steven Universe, LEGO Elves, Kipo and the Age of Wonderbeasts, Over the Garden Wall, Infinity Train, and the Disney Fairies movies.

I'd also recommend getting your hands on the cartoons you enjoyed as a kid. Odds are good your kids will like them for the same reasons you did, although you may find that they don't all hold up for you.
It _is_ possible to use native OS APIs for location lookup, but these all seem to rely on cgo. Which was a bit intimidating for a "let's learn Golang" project

(Probably not the nicest code and no doubt I've broken a lot of Go idioms, but it was a good learning exercise)

IPInfo is a good service and their developer relations were surprisingly relaxed about me (mis)using their API this way
Expand the court. Say, one justice per circuit. Or launch a multi-decade plan to remake the court, like the Republicans did, and methodically follow through, and hope the country's still around by then.

Those are the options. I don't think there are any other (legal) ones. If you judge neither of those plausible, then, no, there is not a plausible path.
We just don't have a general solution of the 3 body problem in the form of equations. Practically speaking it's a solved problem because we can simulate the motion. We could do the same with brain. That's basically what neural networks are.
And yet I worked on a Google X robotics project which was later canceled and doesn’t even appear in this announcement despite those machines notionally going to Google brain for research purposes. They have a very hard time capturing value with any innovations that aren’t ads.
I’m actually working on a demo like this. Kinda. ;-)

Hope to share the details here soon.
Saw a talk from a dev at Amazon along these lines recently.

The general concept is called “server-driven UI” (SDUI) and they talked about experimenting with a completely AI/LLM-powered frontend. It has too many problems today for practical use (LLM FE sucks with accessibility, not to mention the overall cost!) so they instead tried a half measure.

Their FE team makes a series of generic components (“primitives”) and the AI then picks among them to “build” the FE on demand. That’s the “control the experience” thing you’re getting at.

They then (hand wave) allowed the LLM access to a customer data DB.

This unused experiment would let customers search things like “what movies will I like?” and get a cogent FE despite no engineer shipping that specifically.
> But if a PM does have a technical question, they don't need to go google stuff and figure it out - they ask a developer.

In a good organization they first try to figure it out themselves versus distracting a developer (thus costing possibly hours of productivity due to breaking someone's flow). The same way a developer would first try to answer their own question before they start badgering another developer.
Humans derive their ideas from impressions (sensory experiences) and the ideas they form are essentially recombinations or refinements of those impressions. In this sense, human creativity can be viewed as a process of combining, transforming, and reinterpreting past experiences (impressions).

So, if we look at it from this perspective, human thinking is not fundamentally different from LLMs in that both rely on existing material to create new ideas.

The main difference is that LLMs process text statistically, while humans interpret text in context, influenced by emotions, experiences, biases, and goals. LLMs' interpretation is probabilistic, not conceptual.

Additionally, revolutionary thinking often requires rejecting past ideas and forming new conceptual frameworks, but LLMs cannot reject prior data, they are bound by it.

At any rate, the question remains, are LLMs capable of revolutionary ideas just like humans?
I don't think this argument really matters. Consumer drones are being used in active warfare today, as we speak, with minimal modifications. The cat is out of the bag no matter which way you look at it. You could just as well say that many chemicals at the construction store are easily weaponizable, they make for an explosive and there's plenty of guides online on how to do so.
I'd say that medicine has been a net benefit to bettering the lives of those who have access to it. I'm biased, though - "drugs" have kept me alive and able for the last 30 years.
One, old technique that can counter this is as follows:

1. Clock how long the operation takes on any type of data. By operation, it would be a function call maybe for a whole block or buffer.

2. Add a small margin of time to that.

3. Modify the function call to make sure it has waited that long before returning a response. That is true whether it finished early or not.

The result prevents the function call from leaking timing information.

High-assurance, security certification in the 1980's also required mitigating covert, storage channels. That would require, at a minimum, overwriting any memory used during the call and all the CPU registers before returning to the caller.
Gemini was a solution looking for a problem. And whilst doing so, to keep up with the Joneses, they kept stepping in it along the way. To me, it seems Gemini is another service thats going to fall by the wayside.

Had they focused more on driving innovation and not profit/being relevant, they could have had another win instead of another Google+
Instead, we got African-German Nazi's.
Rust deserves some good libraries like these!
Also it's just a Chrome / Blink derivative. They don't actually have an independent web stack like Mozilla does. That independent stack requires a lot of developer effort to maintain.
> They need a new product. Seems like thats’s what they are going on announce on Feb 19.

uhhh lol
Would be good to see before & after examples of something Claude got wrong without your enrichment but got right with it included.
Tiling never worked for me either. Might be because the place I use Linux most is on laptops, where screens are too small to do much tiling aside from maybe splitting the screen in half (and even that doesn’t play nice with things like IDEs). Plain, boring, non-trendy floating WMs/DEs with some lightweight optional tiling has proven most optimal for me.
Show HN: libremidi 5: cross-platform MIDI 2 abstraction library
They fired a disabled veteran owned company from working for the VA just because, with no analysis of what the company did or what value its services provided.

Maybe this shouldn't be such a lighthearted and cheerily depicted event
Duckdb and polars have changed my Python development completely. Great packages that can work together, excited to see this.
According to the OSI's open source definition, you can't put restrictions against persons or groups or fields of use. In the license, Linux is not restricted in what domain it will be used (good or bad).

Here's OSI's argument about this when Meta's llama put such limitations in their license: https://opensource.org/blog/metas-llama-2-license-is-not-ope...
I start my ChatGPT questions with "be concise." It cuts down on the noise and gets me the reply I want faster.
Not to the consumers. Won't people think of the shareholders?
Most of the embedded world is still C, if you want to write C that's probably the place to find a community.
> Please don't complain that a submission is inappropriate. If a story is spam or off-topic, flag it.

(https://news.ycombinator.com/newsguidelines.html)
Things got significantly darker after 9/11.
You would be right if you were talking about ordinary ads, like those DuckDuckGo is using. I'm not blocking that. Most ads today track users and illegally collect huge amounts of information in order to psychologically manipulate you into buying what you don't need.
You absolutely do not need an SDLC process in order to get SOC2 attested.
Google is the new MSFT.

It won’t go anywhere, Windows is still a thing.

But ChaGPT is a fundamental threat to its search business. It replaces Google for me 50% of the time.

It is the natural language search engine people tried to build
Google had a revenue of $348 billion in 2024. For a new product to generate 1% more revenue, it needs to generate $3.48 billion annually.

Even extraordinary products are rarely going to do that. Their AI products could be a huge success, and still not significantly change how valuable the company is.
> Please don't complain about tangential annoyances—e.g. article or website formats, name collisions, or back-button breakage. They're too common to be interesting.

(https://news.ycombinator.com/newsguidelines.html)
"locate the filters, locate the coffee mugs, locate a measuring spoon" in a random house in America is a very high standard. We’ll have to agree to disagree on that. If you teleport me into a random house, I’ll likely spend at least an hour trying and failing at that task, and most of their cabinets and drawers will be open by the end of it.

It also excludes corner cases like "what if they don’t have any filters"? Should the robot go tearing through the house till they find one, or do nothing? But what if there were some in the pantry — does that fail the test? There’s all kinds of implicit assumptions here that make it quite hard.
Google (Alphabet's) stock price has generally gone up 200% in the past 5 years. That is the only reason he is there, and that is the only way he is judged.
They mentioned extensions though, and I made a comment on that specific attack vector.
Undefined behavior does not make things simpler.
>I wish my miserable failures brought in $65 million annually.

HN users complain about that $65 million constantly. Mozilla is stuck in a spot where the same angry nerds that want them to diversify away from Google won't actually let them spin up diverse sources of revenue.
As anecdata, I would offer that the conversations I've had with ChatGPT over these couple of years have been incredible for me. Even just for relieving loneliness, it's been worth the monthly subscription a few times over.

Maybe the company and their business model are doomed to fail, but I'm grateful for what they enabled so far.
Yeah, I haven't seen a way to change the keybindings so they match my muscle memory. My current set-up is "brew install spectacle", cmd+space+"spect"+return, tick the checkbox to run at startup, then never think about it again—even if there were a way, I'd also have to go to the trouble of scripting the keybinding changes to make it this easy.
“I think our bill was $74,000 on broken windows,” said Ranahan. “And the crazy thing is, everyone loved it. The people, the neighborhood, they still come out to me and talk to me about it.”

"We want to set City Hall on fire, we want to bump a blimp into the Golden Gate Bridge and we want to jump a hook-and-ladder truck over Lefty O’Doul Bridge with Roger Moore on it’ … and they were seriously like, ‘OK.’”

My main question is, where did this San Francisco go? I'd love for the city to create more memorable moments because the city is special. But today, this ad would've been buried in CEQA lawsuits. Hell, parking in the wrong public spot could get your car keyed by some irate millionaire[1].

[1]: https://www.sfgate.com/local/article/parking-wars-sf-billion...
After hopping around MacOS window managers, I landed on Aerospace. For MacOS it's by far the best, and can do most of the things I want.

But it still feels like a plastic fork and knife compared to Niri. Really wish Apple would open up more of their desktop APIs..
I wear earmuffs for work pretty regularly for extended periods of time. If you get ones with the metal connector between the ear covers, you can spring it so they aren't so tight over your head.

The usual failure mode on earmuffs is the cushion bit that seals around your ear drying out and getting brittle. Or the foam in the ear cushions getting hard or breaking down. When either of those things happens, it's time for new earmuffs (or ear cushions if you can find the parts).

These are the ones I use:

https://www.homedepot.com/p/3M-Pro-Grade-Earmuff-90565-4DC-P...
> Move fast and break things!! Even when its the society you live in.

This is the part I don't get honestly

Are people just very shortsighted and don't see how these changes are potentially going to cause upheaval?

Do they think the upheaval is simply going to be worth it?

Do they think they will simply be wealthy enough that it won't affect them much, they will be insulated from it?

Do they just never think about consequences at all?

I am trying not to be extremely negative about all of this, but the speed of which things are moving makes me think we'll hit the cliff before even realizing it is in front of us

That's the part I find unnerving
Building an ASI that cares enough about humanity to solve our medical problems sounds much harder than actually solving them.
After reading the long Github thread, I think you're right. It's probably just as simple as "what is the easiest way to copy our TS code 1:1 to a faster language". And this case Go wins due to its simplicity.
I believe the challenge that FPGAs can address is sociotechnical, because the developer of a crypto library will have much more control over the stack and does not need to trust others.

Many high-frequency trading companies use FPGAs over ASICs for similar reasons. FPGAs are more expensive but allow them to have full control over the algorithms implemented and doesn't require giving secret information to a foundry.

In other words, eliminate the impedance mismatch between responsibility and control for developing a secure system.

It'll be cheaper to implement cryptography on an ASIC. But the author of this paper wants to control every single aspect of the encryption/decryption process. Said developer can confidently say the system is secure. You can't say you've delivered a secure system if you're getting your ASICs from another company that doesn't provide implementation details because it'd (justifiably) give others a competitive advantage.

Question I'd have is whether the cost difference between ASICs/FPGAs is worth it for the majority of applications. $1 or $10 on every CPU might mean a world in which every laptop has an FPGA, but $100? What about for server-side applications? Would a hyperscaler spend $1000 extra on every rack if it allowed guaranteed constant-time encryption?