skysight-inc/HackerNews huggingface dataset:
It sounds like a guy recorded his own voice and ran it through an LPC.
I asked the LLM to explain why it's filtering out "keto diet cures cancer", and just the act of asking it to explain it, makes it work again. Interesting...

https://ithy.com/article/b848ebc9a32140ffa766a1520113846c
Thanks, that's an interesting idea, even though I'm not sure that extra instructions to put these return addresses into registers and reduced number of registers available for the codegen is better than cmp and jmp. Also I'm not sure if that will play well with cpu's branch predictor.
You're on a web forum for tech startups making a tirade against capitalism and western civilization. You think you'll find many sympathizers here? lol
The forcing doesn't have to be particularly dramatic. One of the things I like having about a tutor is it "forces" me to make some progress on a regular basis. As a friend of mine put it, "Sometimes I need somebody to not disappoint."
I tried Claude.

If hardware continues it's evolution of speed in the next 10 years I can have Claude but local + running constantly and yeah that would change certain things fundamentaly
I bought Toyota Yaris Hybrid in 2012. Toyota at that time claimed it should be 4.4 l/100. My average after 4 years before I sold it was 5.1. So my usage was just 15% off. And this was in Norway with a lot of driving in mountains.

On the other hand with electrical cars that I rented and from what I heard from friends the real range was shorter by 20% or more.
This is probably one of the reasons Intel went to a microcode architecture after.

I wonder how many yet to be discover silicone bugs are out there on modern chips?
Ok, but please don't fulminate on HN*. Comments like this degrade the community for everyone.

You may not owe people who you feel are spoiled rich kids better, but you owe this community better if you're participating in it.

* this is in the site guidelines: https://news.ycombinator.com/newsguidelines.html
Discussions

(52 points, 22 hours ago, 30 comments) https://news.ycombinator.com/item?id=42403886

(60 points, 7 hours ago, 35 comments) https://news.ycombinator.com/item?id=42408361
So are we to just do nothing and die in the crossfire between these two entities?
>These are weapons that won't get replaced by drones

Those weapons are drones. They're just rockets instead of quadcopters. They're also several orders of magnitude more expensive, but they really could get driven by the same off-the-shelf kind of technology if someone bothered to make it.

And they will get replaced. Location based targeting is in many cases less interesting than targeting something which can move and could be recognized by the weapon in flight. Load up a profile of a tank, a license place, images of a person, etc. to be recognized and targeted independently in flight.

>Battles aren't won with price tags and marketing videos, they're won with strategic planning and tactical effect.

Big wars tend to get won by resources more than tactics. Japan and Germany couldn't keep up with US industrial output. Germany couldn't keep up with USSR manpower.

Replacing soldiers with drones means it's more of a contest of output than strategy.
This. In hindsight, buying Twitter at a loss was well worth the long (though, more like medium) term results. As much as it disgusts me, I'm impressed.
Show HN: Levenshtein/Typosquat Domain Search
> If you wanted to not have a GC, you could use just the imperative fragment.

I think it would be quite hard in practice to make Haskell not dependent on a GC. What Haskell is most obviously lacking at present is a more elegant story of how to interface "strict" and "lazy" parts of a single program. PLT researchers and logicians have been exploring these questions for some time, coming up with notions such as "polarity" and "focusing", views of some types as "naturally strict" (such as tagged unions), others as "naturally lazy" (such as functions) with still others coming in both strict and lazy varieties ("product" or record types), and elementary operators to shift between "strict" and "lazy" uses of any type - but the practical implications of these concepts in real-world programming language are still unclear. Haskell would make an ideal testing ground as such.
Nitpicking Gladiator II, Part II
An Experimental Study of the Skype Peer-to-Peer VoIP System (2006)
As a kid I thought the announcer voice for Blades of Steel was excellent at the time. Despite it being distorted it gave the feeling that you were watching an actual hockey game. Of course, most of the games I played then didn't have much in the way of human voice.
Since it seems on topic, I link a related project by an undergraduate at the University of Bologna https://saveriogiallorenzo.com/publications/sac2025a/sac2025...

Essentially, it’s a refinement of Bacon-Rajan’s cycle collector (sequential) that does not require auxiliary heap memory and handles failures when tracing complex object graphs because it uses a breadth-first technique that fundamentally prevents stack overflow scenarios.

What's particularly compelling is the Rust implementation, which weaves the type system and borrow checker into the algorithm's design. When dealing with garbage cycles, the algorithm doesn't just match current Rust GC alternatives, it outperforms them.
"Real Name" Policies (2023)
> Within the water column the vertical displacement of water in these waves is large, often tens of meters, and even larger in a few places.

> Their characteristic wavelength - about 50 to 100 km from peak to trough

Do we see floating underwater objects, such as fish or other organisms (many of which mostly float and don't propel themselves) or even submarines, being propelled by this current? How much power does it have? Or maybe the effects are too subtle locally due to such long wavelengths?
Can you offer a little syllabus for this comment? It reminds me of Aldous Huxley's "The Perennial Philosophy" in your interpretation of the Beatitudes through a universalist lens... but where do you get the concept of 19 pairs of virtues and vices from? The only tradition I know of where 19 is a sacred number is Bahai?
Could it be that Tibetan is invented to translate Buddhism has something to do with it I wonder.
With the caveat that I don't really understand second order logic well enough to say all that much about it, there's a debate in the philosophy of mathematics as to whether second-order logic should count as the foundational logic, since on the one hand most first-order theories aren't categorical (due to Löwenheim-Skolem) and on the other hand, second order logic (with full semantics) already presupposes set theory.

In any case, the reason why PA_2 is categorical is because the second-order axiom of induction allows quantification over arbitrary sets which allows you to say that "0 and adding the successor function to 0 arbitrarily often already gives you all natural numbers".
Yes, I had to make a change about urls in order to support locations from all around the world. lat/long ended up being the only unique thing in common.

To do so, I implemented a search using OpenStreetMap. The thing is, OpenStreetMap can give several results for a given location (and rightfully so). Example with Paris: https://www.openstreetmap.org/search?query=Paris%2C%20France.

When I updated the way meet.hn handles location, I migrated all city ids like the one you mention "gb-London" to a new one using lat/long.

The problem is: when users select a location, they can end up at another (close) location suggested by OpenStreetMap. To mitigate this pb, if locations have the same full name or OpenStreetMap id, I don't display them in the location selector.

Also, I put locations of type "city" first to nudge users into selecting cities more and hopefully end up with less problems of this kind.

Code about this is here: https://github.com/borisghidaglia/meet-hn/blob/808143d36841b...

There is something to be done, but I only had overly complicated ideas to fix this.

Very open to suggestions. Don't hesitate to open an issue/PR for this on GitHub.
If this is a GPT-generated joke, I'd say they cracked AGI.
Plato: How An educational computer system from the '60s shaped the future
Nice memory. That book was included with the Coco2 I bought in late '83. Part of the lack of fun I had was not having a dedicated TV to use with it--I had to share with the siblings--and it was a black and white console. Still I learned a lot but should've done more. Oh well, I gave the whole works away in the mid '90s and it's probably in a landfill in NW Oklahoma.
Ok, but please don't fulminate on Hacker News. It's incompatible with intellectual curiosity, which is what we're trying to optimize for.

https://news.ycombinator.com/newsguidelines.html

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&sor...
> So far we are multiple years in with much investment and little return

Modern (2024) LLMs are "little return"? Seriously? For me, they've mostly replaced Google. I have no idea how well the scaling will contiue and I'm generally unimpressed with AI-doomer narratives, but this technology is real.
Even their coffee mugs were fault tolerant.

https://www.computerhistory.org/collections/catalog/10262869...
If you want, I can display something similar to this at your location: https://meet.hn/city/43.6534817,-79.3839347/Old-Toronto

Hit me up if interested :)
I think Dyslexia has a lot of politics attached.

If 25% of people have it then, practically, Dyslexia means you are in the bottom 25% of readers, as much as the Dyslexia industrial complex wants to see it as taxonic and not dimensional. (Sure they say it has two subtypes and sure, maybe there are two reasons that make most bad readers bad readers, there are probably more reasons that are more obscure and too hard to pin down)

Personally I think there are a lot of white collar people who are devastated to have a child who is a poor reader who won't follow in their footsteps (college professors, journalists, people in ethic groups where people will think you're a loser if you're a cop or pro football player, etc.) Labeling it as a disease makes it easier for people in that situation to live with it.
Too late to edit: I meant non-cryptographic use cases
The story was posted a couple days ago and ken left a couple comments there:
https://news.ycombinator.com/item?id=42388455

I look forward to the promised proper write up that should be out soon.
When ChatGPT was down a few days back, I locally booted up Codestral. It was decent and usable.
There are people who sell "speed reading" courses which is not the same as being a fast reader.
I tried writing simple imperative programs in GHC using the IO and IORef types, and the programs ran about 1000 times slower than analogous programs in C.
The Creator is a singleton, the Prime Mover, the Ultimate Loner, Unfathomable and Timeless beyond our comprehension.

We are one human race, each of us with both positive and negative potentials, as well as the ability to wallow in ignorance or choose to become either more selfish or more compassionate. Those are the three possible paths a human can traverse. There is no fourth path.

There is one foundation of all forms of religion, regardless of customs or culture, and is always to become consumed by compassion for all human beings, in service to the Divine Will. There is no -- and must not be any human-dictated -- compulsion in religion.

"The greatest among you will be the servant of all."

There are many triples in this universe, including: the relationship between (1) our Creator, (2) Its servants, and (3) the Holy Spirit that facilitates our self-evolving towards becoming consumed by love, irrespective of form of religion. This concept is not unlike an RDF triple.

Only the One Creator may be worshipped, but the human servants of God are sent here to teach us how to live in harmony with the Earth for universal peace and the happiness of all human beings, including the belligerently selfish that choose to make mischief.

The servants of God always suggest that their contemporaries choose to connect with our Creator, never to worship themselves. They are here to help us see the Way, the direction towards It, how to create happiness.

Such a one is always humble; if they're not, then they're a faker, a liar, a hypocrite, a manipulator, or merely deluded into believing the lies of our horrible enemy, the deceiver of mankind, who ever works on our hearts and minds to distract us from the caring compassion we could be choosing.

"The Way goes in." --Rumi
Yeah, GPT is learning from GPT, which is extremely disappointing.

Like I'll try to find the top burgers in midtown. Perplexity or ChatGPT online searching will always find "Top 10 Burgers in Midtown" by https://nycreviewed.com/ (their SSL certificate isn't even valid). But this itself is a GPT-generated list, and their list isn't even in midtown.

So now I end up with a list of 10 burger places that aren't in midtown.

Ithy kinda solves this by utilizing multiple search engines and LLMs, so spam sites like this are more likely to get filtered out somewhere in the pipeline.
Performance / getting a seed
(2023) Discussion at the time (171 points, 89 comments) https://news.ycombinator.com/item?id=35208286
That same space company said that they'd do point to point commercial travel using rockets. As for significantly outperforming: Ask NASA, price per launch has gone UP not DOWN. What's the point of reusability if it doesn't affect the bottom line in a positive way?
Yep, this was when he was at Syracuse.
I'm looking for frontend/fullstack. I have over 10y of experience. I did reach out, and the mortgage payment has been withdrawn, and they haven't gotten back to me in two weeks.

I'm in Toronto. My info is on my profile.
Thanks! I half expected to be told one instruction computers were impossible.
If only drugs worked that way.
Demand for machine learning engineers at most companies drops by 2026. I speculate that the demand for in-house models drops as the gulf between them and the major players grows. I think it will be (is?) easier and cheaper to rent time on someone else's model.

The ancillary tasks those MLEs were doing (data prep, model perf analysis, etc) will fall on other nearby roles (backend/data eng or data annalists). Ultimately I speculate that all of this work will end up being another integration backend/generalist engineers will handle.
> Or is it just to feel a bit more optimism that not every doomsday fear ends up coming to fruition?

Exactly.

I suspect mirror-image molecule life hasn't evolved because it wouldn't be fit enough to be self-sustaining.
"hard" science without social disciplines gave us Nazism
I tend to think that the 90s actually did see its analogue to psychedelics in the internet. No need to be a psychonaut and fry your brain anymore; just surf the web. It's the same sort of ideal of connecting with universal knowledge.

There's even a heuristic to track these kinds of awakenings, roughly, and I'm absolutely certain you're not going to guess it. Got it in your head? Okay, wrong, it was "landmark black cinema." The Wiz came out in 1978 after 4 years of the musical. In 1995, we had The Lion King, followed by the Broadway play in 1997. If you look for something repeating the pattern, you find Black Panther in 2018 (alongside a glamour around a specific component of the web, social media and the mature smartphone).

I don't mean to make any sort of causative connection, but perhaps there is something about a widespread desire to "move forward" and "embrace openness" that also benefits the funding of these sorts of productions (and then the subsequent public enthusiasm for them upon release). And there's always a collapse back to conservatism shortly thereafter (Disco Demolition Day and Reagan; Bush and 9/11; COVID and its backlash, and the subsequent failure of Bernie Sanders to beat Joe Biden, and then Joe Biden/Kamala Harris to beat Donald Trump).
In Segways defense that self balancing tech has made and will continue to make an impact, just not world changing amount (at least not yet) and not their particular company but the companies they influenced - the same may end up true about openai
Hmm, some hard parts for automation left unsaid.

> use that location to determine the correct timezone

Does this mean consult an "address to timezone lookup service?" Not sure if they exist, and I don't see another way without user specifying manually. Maybe a string match, but it could be wrong/unsure somewhat often.

> Then if Idaho decide to cancel daylight savings time you can update

Looking up events within a time interval is easy enough, those in city (timezone?) limits not so much. Consult a GIS system, search within polygons??? String match or every city in your database?
Nobody I know who is good that I know works for Canadian companies if they can be avoided. I'm not sure what happened with your agency, probably costs involved hiring foreigners via services like remote.com or other?

Your tagline on your profile made me laugh.
Yes, o1 does this internally, and there's agentic AI systems already doing better than singular AIs in fields like writing, where you assign each AI system a role like "writer" or "editor" or "marketing" and they discuss among themselves.

I'm just applying this theory to online search.
You can work remote work with Elon, https://pbs.twimg.com/media/GeW7pibWAAAq_es?format=png

It's allowed after your minimum 40h in the office.
I don't see drugging someone out of their gourd to be a plus in this situation.
NASA contracted two companies to perform space launches, Boeing and SpaceX.

Due to massively inflating costs and a recent catastrophic failure, Boeing has a very uncertain future in the program.

I hope this helps!
That's a real problem with the vast majority of current TTS. Terrible in things like consistent intonation, proper pronunciation, believable pauses, while sounding human all the same and the result is super uncanny valley.

The gaming and movie industry understands this very well, they use human voice actors that can nail all of that and then make it sound more metallic or compressed or whatnot. Otherwise it does not fit.
I think the problem is people are either (a) in tech-centric cities - where there are lots of other meetups and already know lots of HN types around. Or, (b) there are only one or two people in their city, so can't sustain a meetup. (Q: how many of your cities only have one "hacker" in them?)

I could see it as a nice way to meet like-minded people while traveling: I used to use couchsurfing (which has kind of died out) like this: if traveling alone to foreign place, it's nice to meet some locals.
Just imagine if we had these problems with TCP!
Aiming at December
Give this GPU a try if you're not in a hurry. There is still a lack of community support outside of PyTorch.
Sorry, you were a victim of the outage caused by HN flooding my website! It's back online now if you want to give it a try :)
panel = 40 m^2
sunlight = 1370 W/m^2

So some amount less than 50 kW. Maybe about 2x photonicinduction garden light bulbs, or a few dozen normal streetlights.
Seems like about the right amount to light up a very small town.

But it makes me wonder why anyone would choose to settle in an area which is in shadow 1/4 of the time. Why found a city there?
The Meta Quest is already incredibly affordable. If that can't make VR mainstream, I'm not sure what can.
>Isn't that exactly what he's doing with x.ai? Grok and all that?

They aren't saying he isn't. But he is trying to handicap OpenAI, while his own offering at this point is farcical.

>It will be interesting to see how this blog post ages.

Whether Elon's "dump billions to try to get attention for The Latest Thing" attempt succeeds or not -- the guy has an outrageous appetite to be the center of attention, and sadly people play along -- has zero bearing on the aging of this blog post. Elon could simply be fighting them in the marketplace, instead he's waging a public and legal campaign that honestly makes him look like a pathetic bitch. And that's regardless of my negative feelings regarding OpenAI's bait and switch.
Late in the interview, I liked the bit about, don't be the smartest person in the room. There were other nice bits also.
> In short, the helicopter's on-board navigation sensors were unable to discern enough features in the relatively smooth surface of Mars to determine its position, so when it touched down, it did so moving horizontally.

I'm a little surprised there isn't something more accurate than a camera for this.
Too bad not disclosing that you always intended to convert the non-profit into a for-profit during your testimony while numerous senators congratulate you about your non-profit values isn't problematic.

https://www.techpolicy.press/transcript-senate-judiciary-sub...
Perpetual Calendar Hidden in a Chapel Is a Mathematical Marvel (2019)
Was your test install also fully updated, i.e. is your exploit currently valid?
Has HN ever published traffic stats by country? Just curious.
> LLMs might get better at consuming badly-formatted data

Oh agreed. There's definitely a meeting in the middle between better ingestion and smarter models. LLMs are already a great fuzzing layer for that type of interpretation. And even with a perfect WYSIWYG text extraction, you're still limited by how coherent the original document was in the first place.
Regarding the Silicon Valley Mindset, Douglass Rushkoff wrote a quite good book on the topic: https://bookshop.org/p/books/survival-of-the-richest-escape-...
The README of MarkItDown mentions "indexing and text analysis" as the two motivating features, whereas Pandoc is more interested in document preparation via conversion that maintains rich text formatting.

Since my personal use leans towards the latter, I'm hesitant to believe that this tool will work better for me but others may have other priorities.
Note that you said “likely” and not “equally likely”. Therein lies your answer.

There are applications where hashes are used as identifiers, where it would be impossible to use the original data to resolve possible collisions. One example would be in RTTI (Run Time Type Information), when you want to check if two objects (of unknown-at-compile-time type) are instances of the same type. The only performant way to achieve this is if the compiler emits each type’s RTTI with a unique integer key to efficiently compare against, and this key must be unique across all object files and shared objects. In practice, this is done using hashing. If there is a collision, then the program behavior is undefined, so it is ideal to minimize probability of collision. You can see this issue in the Rust compiler project where there is ongoing discussion about how to handle this hashing, trying to balance compiler speed and collision likeliness:

https://github.com/rust-lang/rust/issues/129014

Another scenario would be like what Backtrace does: a hash is used to identify certain classes of errors in application code. The cost of analyzing each error is quite high (you have to load objects into memory, source maps (if available), perform symbolification, etc), so comparing any two errors every time you want to perform any metrics or retrieve associated data (like issue tracker identifiers) would reduce the performance to a point that any such application would be too slow to be useful. So a lot of thought was given to producing fast, non-cryptographic hashes (these hashes aren’t shared across tenants, and no customer is going to go out of their way to work out initialization parameters so they can be their own adversary) with a known likely hood of collision. You can read about the hash (UMASH) here:

https://engineering.backtrace.io/2020-08-24-umash-fast-enoug...