skysight-inc/HackerNews huggingface dataset:
I have keratoconus and stigmatism. 8 years ago I stopped wearing glasses since my vision was good enough for laptop, phone and watch but distance was always a problem. I've been doing eye exercises daily for 8 years and my 3D vision returned last year and on more and more days I can read the street signs across the street, as street signs in the US. My prescriptions used to vary between -3.25 and -4.25 with 90% distortion. My laptop vision is better also. Lately, the glare that emanates from the source of light is less and reflections off of glassy surfaces are also less. My first diagnosis was 35 years ago and over the years various surgeries and fixes were offered. Over the years, technology improves, so I feel I wait. Prognosis so far is manageable. Best of luck to you.
Not really worth noting is it
I'm not arguing that this is a big f'in deal. Seems like it's not much of a deal at all actually.
Par Part 3: Par, Continued
Alternative title: Par and Constructive Classical Logic.

I've finally rounded out the Par trilogy, on sequent calculus, linear logic, and continuations! This post was the point of the whole series, and the most likely to contain things you haven't already heard. I really love par and the theory around it; the elegance is incredibly satisfying. I hope I can share that with you!
What would you suggest to solve the problem solitary is aiming to solve? Chesterton's Fence was built for a reason. Solitary isn't torturous in the traditional sense of the word. It is consistent with the idea of prison--it's just a worse version of prison. It acts to disincentivize rule breaking within the system. What other ways can we attack this problem with high enough confidence that removing the proverbial "fence" will not result in a total disaster.
Google will still have to break up its business, the Justice Department said
> If I run `nc -l 31337 | sh` that puts my system into a remotely exploitable state

Quick, before someone posts this to Mastodon and gives presentation at security conference with title:

Living off the Land: the Hidden Threat Within
Yeah

It seems SBF had a hard time listening to his laywers, and apparently continues to do so
'A camp environment': why Alan Turing fatefully told police he was gay
> I think an under appreciated subset of Discworld is the Tiffany Aching series.

Yeah, the author indicates he skipped them, probably because of the YA moniker, but honestly, _maybe_ Wee Free Men exempted, they're equally as mature as any other discworld books, with really the only YA thing about them being their underage protagonist.
If it is USB, you should be able to do it directly in JS via Chrome.
We know that rapid weight loss causes muscle loss at a higher rate than slower weight loss in general.

GLP-1s might enhance this effect somewhat, but there is nothing definitive.

Adequate protein intake + resistance training can fully counteract it, however. I've even added significant lean body mass while losing fat while on GLP-1s.
He's lying. He's angling for a pardon by playing up to republicans' hatred of democrats/"woke".
>Hold up, that's something people actually would do, click a link in a YouTube description instead of opening a new tab to search for it? Wild.

Yes, most people don't know/care about tracking links or whatever. Moreover even if they do care, most aren't cynical misanthropes who would go out of their way to deny their favorite creator of their affiliate cut.
All this tells me is that your average american is a moral midget, which is not surprising to me.
Yes, unions are the proper type sums. Just as fixed cardinality sets are the proper type products, not tuples. I didn't know about this feature in Scala 3, all it seems to be missing for a fully algebraic sum is type negation (like `FileError and not FileSeekUnsupportedError`).

> At the same time Maybe<Maybe<String>> may encode a useful state that will be unrepresentable with `(String | None) | None = String | None`.

We already have the operation that takes a type and converts it into a non-matching type. It doesn't have a well accepted name, in Haskell it's called `newtype` but every language with strict types has it.

There is no need to mix those operations in the fundamental types in a language. The usual emuns and tuples are just less expressive suggared synonyms.
'My next home must be fireproof': Angelenos are looking to build 'SuperAdobes'
It may start sooner than you think. Now we will see how Missouri attempts to collect their $24 billon default judgement against China from a federal court for treble damage of "$8.04 billion in direct lost tax revenue" due to China's hoarding of PPEs. https://ago.mo.gov/attorney-general-andrew-bailey-secures-hi...
Discussion (58 points, 5 hours ago, 55 comments) https://news.ycombinator.com/item?id=43299886
Your contention is that only billionaires can get contraband in prison?

Are you by any chance familiar with prison?
Show HN: Kopit – Find nearby football matches [UK]
I wanted an easier way to find nearby football matches and to buy tickets directly from clubs, so I built Kopit!

Given Premier League matches sell out quickly, the hope is it will drive more people to attend lower league matches, especially to those that could do with the extra support.

Most importantly, it's free for fans and clubs!

If you have any questions about the build, upcoming features, or anything else, please let me know.

I'm most active on IG, where you can see some of the recent matches I've been covering (@kopit_uk).

Thanks for reading :)
This is hilarious. Is there any evidence that such a "DDOS mode" has ever existed in any device?
A long while back I wrote an answer on Stack Overflow to a question that asked "How to read TAOCP?" my answer looked something like this:

- don't read them

- get all the books, put them in a bin bag and shake vigorously with some lumps of coal, to give them that "used" look

- go through the books, underline things at random and make notes (also at random) in the margin such as "how true", or even better "wrong!"

- put books on shelf in office - never look at them again

This has worked for me, though I must admit that Searching & Sorting and stuff about random numbers are pretty good.

I got my copies free from Addison Wesley for doing some book reviews for them - not reviewing Knuth, needless to say!
Your own dupe? https://news.ycombinator.com/item?id=43293004
There is lots of evidence that p-hacking is widespread (some estimate that up to 20% are p-hacked). This problem also exists in top instutions, in fact in some fields it appears that this problem is WORSE in higher ranking unis - https://mitsloan.mit.edu/sites/default/files/inline-files/P-...
Not much of eating it alone!

But, good point I forgot about.
Eric Adams, for one.
Stable Diffusion I – Mathematics Behind It
The devices are sold as programmable. The supplier loads their own code and has complete control over it. This is an advertised feature. Espressif also releases code that makes it into a Bluetooth adapter with a standard interface. Anyone in the supply chain can change the firmware without these commands. The concern is these commands were undocumented and exposed over an interface usually accessible by applications. The host drvier probably didn't expect this interface could make permanent changes.

ESP32 devices not using the Bluetooth adapter firmware are unaffected and already running custom closed source (possibly encrypted) code from the supplier.
No, of course there is no evidence, that's why it's a conspiracy theory. I can't remember if I saw it on a YouTube comment or a Reddit thread. Both are only slightly better than 4chan.
I use google search results including the AI summary for programming. Easy to verify the results too, but I often can't put a good search query together to get what I want, so googles implementation of AI helps here. I don't do overly complicated stuff tho so there's that.
holy crap, their doors won't open without power?!?

How does that ever get past safety standards?
People often make the mistake of thinking “I want to rant about X” means “I’d like a near stranger to tell me how to fix X”.

“Why don’t you just get someone in to clean”, specifically, may also cause a perception of criticism. Perhaps they want their kids to learn to do the chore for when they live alone. Etc.
Didn't Mark Twain say that an honest politician is one who stays bought? I guess Tucker agrees with him.
Another problem is you have no transparency with what ingredients restaurants are really using. Even if you know today, with certainty, you can't be sure tomorrow. Usually small chains will start out very high on the quality scale for suppliers and ingredients, and then swap them out as they scale/suddenly need to not lose money.

Food is tricky because once you have food processed or prepared, and you don't have the raw ingredients, you really have no fucking clue what you are ingesting. Most people act, and assume that they do.
The reality is a bit different.

The "better" journals are listed in JCR. Nearly 40% of them have impact factor less than 1, it means that on average papers in them are cited less than 1 times.

Conclusion: even in better journals, the average paper is rarely cited at all, which means that definitely the public has rarely heard of it or found it useful.
Kill your Feeds – Stop letting algorithms dictate what you think
I can see why you'd choose it, but if picking a standalone "Small Gods" is the one I'd always choose.

(To be honest I'm lying, the standalone book I prefer myself is Pyramids, but the one I'd recommend to others is Small Gods.)
Tangential cultural reference ...

https://en.wikipedia.org/wiki/List_of_Tron_characters#Master_Control_Program

The Master Control Program (MCP) ... is the main digital antagonist of the first Tron film.
So what are you suggesting to handle misbehaving inmates? A strongly worded memo?
Reproduction is rarely done because it is not "new science". Everyone is funding only "new science".
What document type is the RFP?

Happy to help here, or hit me up at sebgnotes@gmail.com
Thanks for the comment. The idea for this app was to learn Django by creating a fairly basic and simple app. But I just couldn't think of anything original.
Great suggestion about showing answers at the end.
I have found that for websites that use Joomla, file cache is faster than Redis cache, at least for me.
Not Austria but the FPÖ specifically. Google "Strache Ibiza" for one of the most important events in that regard.
I still did not find a descent email client. What could be more personal than that?
> How's this any different

It's undocumented.
I broke Grok3 and sent it into an infinite loop (without meaning to)
If they accuse him of having a phone they should probably find it before punishing him
These are available:

mudddy.io

catbocks.com

darkphox.org
Bad time to be big, good time to eat their lunch.

I have found that companies are reacting to the fact that they are very sick, no less than three people I know work at companies suffering from deep meetingitis of 80% of the day taken up with calls/checkins/meetings because they don't know how to work remotely well. They cruft up all the free time that would be for deep knowledge work with metawork, checking in that the work is being done or the right work or xyz to avoid making a mistake. This creates both drag on doing things, but also makes employees who are eager to do things crazy.

The core element, I think, is a large tranche of people who should not be remote workers are still remote workers, and should either leave or rto. I don't think everyone is built for remote, even after covid. I say this as a 15y remote worker. I don't say this because I don't believe remote work should exist, I just think many people don't have the skills to handle it in an effective way. Could even be that most companies don't have the right setup even today, in terms of communication/expectation/accountability. If your place works well, congrats, there are many that do not.
When you have money, you can always find one lawyer willing to help, and that's all you need.

It offends judges, and that's a risk, but most judges try extremely hard to avoid the appearance of favoritism. (I realize that seems unlikely, since the judges we hear about most are selected for their favoritism.)

Meantime, hating on lawyers is a popular pastime. It makes you seem sympathetic to people who feel that the government is oppressing them. Which, bizarrely, includes the government right now.
I never really understood company hackathons. Usually they involve people submitting their own ideas and trying to implement them in a crunch mode for some meager reward. This just comes off as the company trying to exploit people for new ideas rather than have a proper R&D department work on coming up with innovations.
Hopefully their doctors would also have told them that using artificial sweeteners doesn't help protect against insulin resistance.
It is the same in Germany where you see them in Rewe and Mediamarkt with local branding.

But my point was that the “cat ears” are a Chinese design - and not Japanese as implied by the headline.

It is getting be big business though - Pudu has 80.000 employees. So I guess some find them useful.
I find strange the assumption that Microsoft could run the same models cheaper. It's not like openai knows how to do it and is choosing not to.
Caching is a funny thing. Just like anything you need to understand if and why you need it.

And one other thing is you should be able to fall back if your cache is invalidated.

In our case we keep a bunch of metadata in redis that’s relatively expensive (in cost and speed) to pull/walk in realtime. And it needs to be fast and support lots of clients. The latter sort of obviates direct-to-database options.
Unless you double dip by increasing your on-paper costs via R&D / capex and decreasing your required expenditure via optimization of the former (while also increasing your revenue potential via infrastructure buildout). While on paper your costs are going up, in practice your profit potential is skyrocketing yoy.
We have the power to construct systems where this is disincentivized.

However, no one seems to believe that's possible despite being the ones that built the systems in the first place. It seems we're only able to build social systems by accident which incidentally is the worst way of doing it.
That's right, but... who exposes ESP32's HCI to external world (and not just to another trusted chip) in actual projects? This is the kind of feature you see popping up as a Hackaday article titled "Your ESP32 As A USB Bluetooth Dongle" - you say "neat" and then proceed to forget about it.

If you find a device that does it in the wild, then I guess you now gained a nice jailbreaking vector - that is, if it needed jailbreaking at all. Otherwise, it's nothing.
Eric Adams had federal charges dropped, even though he’s not even a Republican. Almost as if someone’s building a team…

Also the federal prosecutors investigating him have been out on leave.

https://abcnews.go.com/US/federal-prosecutors-investigated-e...
Show HN: First LLM web app that applies code changes directly to your filesytem
To be fair, a lot of professional programmers (regardless of application / industry) completely blank when you bring up ethical concerns of their work. As long as they're being paid and it's an [interesting | challenging | hot] technology, they're more than happy to turn a blind eye toward the application they're actually building. "Hey, I'm just moving protobufs around, it's not my fault my company uses it to build the Torment Nexus!"
On bsky: https://bsky.app/profile/retractionwatch.com
Ah I didn’t realize that. Holmes also seemed to try and throw a Hail Mary by this logic.

I guess I get it, what else do you have to lose?
I’d love to speak with you - your experience is right in my target zone to research. If interested ping me at jbornhorst [at] gmail.com
WebUSB requires the device to opt in via it's USB descriptors. Otherwise any USB device with firmware updates would have this problem.

Maybe an issue here is WebSerial, as HCI comes over a serial port device. I believe the OS should block access to the serial device once the host driver takes it as a Bluetooth adapter though.
$10 DIY project can help detect when police are trying to track your phone
Russell Brand
Trump seems inclined to drop charges or pardon people who he feels were unjustly persecuted by the Biden administration. I don't see any way for Bankman-Fried to make that case.
My hope is that ML can be used to point out real world things you can't fake or work around, such as why an idea is considered novel or why the methodology isn't just gaming results or why the statistics was done wrong.
Even then you can do a lot of things to spread write contention with an RDBMS.

e.g. MySQL 8.0.1+ adds SKIP LOCKED modifier to SELECT ... FOR UPDATE.

Then you can increment the first available row, otherwise insert a new row. On read aggregate the values.
It'd never have been an issue if this was documented.
But that doesn't do any good for existing 2G devices, does it?
This happens to me too but I also find taking a walk is all that I need and often try not to drag other people into it
You could build an AI-powered RFP response assistant using a combination of document automation, retrieval-augmented generation (RAG), and a structured workflow.

I'm thinking something like:

1. Extract and Parse the RFP

Use an LLM for summarization and section extraction.

Leverage OCR tools (e.g., Tesseract, AWS Textract, or Azure Form Recognizer) if the RFPs are PDFs with scanned text.

Convert the RFP into structured data using LangChain’s document loaders or Unstructured.io.

2. Automate Reusable Content Insertion

Maintain an answer bank (e.g., .txt, .md, Notion, Airtable, Google Docs, or even a vector database like Weaviate or Pinecone).

Implement retrieval-augmented generation (RAG) to pull relevant answers dynamically.

LlamaIndex or LangChain can help fetch the closest responses.

Use Embeddings (OpenAI, Cohere, or Ada models) for semantic search.

If a response needs tweaking, allow the AI to highlight differences and suggest edits.

3. Prompt for Missing Information

If the AI detects missing information:

Generate a draft response using context from existing data.

Provide a structured form/UI (e.g., Google Forms, Typeform, or an internal dashboard) for manual input.

4. Generate the Final RFP

Use LLMs to rewrite responses for coherence and consistency.

Automate formatting with Markdown-to-PDF tools (Pandoc, LaTeX) or Microsoft Word templates.

Consider using Zapier or Make.com to integrate responses into a shared document repository.
Low-Code/No-Code Approach

If you want minimal coding:

Microsoft Copilot (Word + Excel) or Google Gemini AI could automate drafting and inserting responses.

Zapier + OpenAI + Google Docs can build a pipeline to parse, retrieve, and generate answers.
Notion AI can assist in structured knowledge retrieval.

Would love to hear more about your constraints (e.g., compliance needs, integration with existing tools) to refine this further.
Thank you for the suggestion. I might even have it in my library, someone gifted it to me.
Feds arrest man for sharing DVD rip of Spider-Man movie with millions online
It actually is quite difficult, outside of solitary confinement. It's not a panopticon. You're not watched closely most of the time. Many violations are ignored.

It's likely not a violation they'll allow twice. But it's not at all surprising that it happened once.
I'd imagine it's a ship of theseus issue. Yes, you can probably replace 200mb of packages with a busybox binary, but the goal is to have a working and isolated Debian shell, not the smallest terminal possible. Termux is still around for people that want to trim their system down to the minimum.

> 567 MB doesn't sound extremely reasonable to me, but sure

It's a smartphone OS that supports external storage. If you're a developer, you're smart enough to plug in a MicroSD card. I think people will be okay.
https://en.wikipedia.org/wiki/FiveThirtyEight
Hope you submit those sites to archive.org / wget locally so there are backups once the hosts are inevitably shuttered!
How much are LLMs boosting real-world programmer productivity?
You didn't say as much. You said inflation is a fee; inflation is not a fee.
The Rayhunter by EFF

Discussion (172 points, 2 days ago, 17 comments) https://news.ycombinator.com/item?id=43283917

(82 points, 4 days ago, 5 comments) https://news.ycombinator.com/item?id=43258620
> “Buy this super cheap home automation product”

Surely thats a risk with buying any of the cheap chinese IoT gadgets on amazon or alibaba and plugging them into your home network?
Which researchers are using plagiarism detectors? I'm not aware that this is a known and widely accepted practice. They are used by students and teachers for student papers (in courses etc), but nobody i know would use them for submitting research. I also don't see the point for why even unethical researchers would use it, it wouldn't increase your acceptance chances dramatically.
Dating apps commodify meeting people. Any time something is commodified, it undergoes a distortion, first to meet the demands of being a commodity, and then to meet the demands of the market in which it's disseminated.

AI, if easier and worse, has the potential to accelerate the decline of online dating - already a hellscape - into something so terrible it is easier to avoid. AIAcc is a legitimate stance in the face of this.
I was recently diagnosed with keratoconus, I'm 28.

I'm unable to get CXL for at least a year due to demand.

What sucks the most about the diagnosis is that the opthalmologist explained that there's essentially no treatment, it's progression can only be slowed, and I'll never be able to get LASIK or SMILE.
yeah the tiffany aching subseries is perhaps the most consistently good one. loved every book in it.
It's a pretty good tactic.
dup
https://news.ycombinator.com/item?id=43294471
> Wokism of Discworld

That comment also raised some eyebrows when I read it. Discworld is pretty "woke". The female dwarves are a bunch of LGBT analogues, a huge chunk of the watch series is about racism, Night Watch and Jingo are both pretty anti-populism.
> He's upset that Democrats didn't let him commit crime just because he donated to them?

Yeah, doesn't he know that you have to be blood-related to the President for that privilege?
Musk famously "switched" after sexual harassment allegations against him came out.
It sounds like more of a conspiracy fantasy to me if I'm being honest. The most attractive conspiracy theories in the US right now have nothing really to do with China but rather Russia instead.
I feel so trapped in this current computing paradigm where we're all running Chromium and Firefox is bad. I don't think it's substantially better than the days when sites were built to run in IE, since the solution to incompatibility has apparently involved moving the "browser" is really just a VM now.

On mobile it's even worse, with computing largely being removed entirely, replaced by "apps" that just deliver "content" and monetize their control over the algorithm. Or even worse, don't monetize it, but leverage it as a source of power. Zuck and Elon openly say govs were doing that with their platforms, but they hardly seem reliable. Maybe it's much much worse, maybe they exaggerated.

Urbit is more fun in theory but the community is just a bunch of rw chuds trying to get thiel bucks. Maybe computers just aren't that interesting now. At least, you have to be more creative than before. I've been doing some fun stuff. Anyway, /rant