HackerTrans
TopNewTrendsCommentsPastAskShowJobs

disambiguation

no profile record

comments

disambiguation
·6 tháng trước·discuss
Its too bad Team Blind doesn't support a dev api to their auth service. Work emails are a good candidate for a simple "blue check mark" system for the HN crowd, but with a layer preserving anonymity. Ex. Generate a token, add to profile, browser extension performs verification.

Otherwise agreed with the sentiment.
disambiguation
·7 tháng trước·discuss
I'm surprised no one has mentioned that KDE revived the Plasma Bigscreen project. No idea on the ETA but assuming all goes well I can see it becoming my daily driver very quickly.

https://plasma-bigscreen.org/get/
disambiguation
·8 tháng trước·discuss
Alfred hitchcock was ahead of his time.
disambiguation
·8 tháng trước·discuss
I'm just disappointed in crypto. It was supposed to be internet currency, but became another meme stock instead. Maybe someday we'll be able to reboot it the right way so it can actually provide something of real value.
disambiguation
·8 tháng trước·discuss
I too was in the market recently for a NAS, downgrading from a 12 bay server because of yagni - it's far too big, too loud, runs hot, and uses way too much energy. I was also tempted by the jonsbo (it's a very nice case) but prices being what they are it was actually better to get a premade 4 bay model for under $500 (batteries included, hdds are not). It's small, quiet, power efficient, and didnt break the bank in the process. Historically DIY has always been cheaper, but that's no longer the case (no pun intended)
disambiguation
·8 tháng trước·discuss
Netguard solves this, available on the play store and F droid

https://netguard.me/
disambiguation
·8 tháng trước·discuss
I'm under the impression that AI is still negative ROI. Creating absolute value is different from creating value greater than the cost. A tool is a tool, but could you continue performing professionally if it was suddenly no longer available?
disambiguation
·8 tháng trước·discuss
It's not exactly a science, it's the aggregate trend of many distinct players allocating capital where they think it will be most productive. AI isnt't "taking jobs", but it might be taking the capital that would otherwise go towards sustaining and growing headcount.
disambiguation
·8 tháng trước·discuss
The current education system is going to collapse. Teachers and students alike won't be able to resist the ultimate cheat code.

Schools need to become tech free zones. Education needs to reorient around more frequent standardized tests. Any "tech" involved needs to be exclusively applied towards solving the supply and demand issue - the number of "quality teachers" to "students per classroom."

I admire Karpathy for advocating common sense, but none of this will happen because SV is full of IQ realists who only see "education" as a business opportunity and the bureaucratic process is too dysfunctional for common sense decisions to prevail. The future is chrome books with GPT browsers for every student.
disambiguation
·8 tháng trước·discuss
Fantastic - you can improve on the realism in the next iteration by simulating voting based on comment alignment. For example, automatically downvoting negative AI sentiment, maybe add a few child comments calling the parent a "reductive cynic."
disambiguation
·8 tháng trước·discuss
VPN?
disambiguation
·8 tháng trước·discuss
Correct, however:

> By following users over time, as their fingerprints changed, they could guess when a fingerprint was an ‘upgraded’ version of a previously observed browser’s fingerprint, with 99.1% of guesses correct.

https://coveryourtracks.eff.org/static/browser-uniqueness.pd...

https://mullvad.net/en/browser/browser-fingerprinting
disambiguation
·8 tháng trước·discuss
https://abc7.com/post/student-handcuffed-doritos-bag-mistake...
disambiguation
·8 tháng trước·discuss
That's a hell of an endorsement by the French govt. I use GOS as a daily driver and it's fantastic - it's what android was supposed to be before it enshittified. It's refreshing to feel like i control my smart phone again and not the other way around.
disambiguation
·8 tháng trước·discuss
https://news.fsu.edu/news/education-society/2025/08/26/on-sc...
disambiguation
·8 tháng trước·discuss
> The real grift has been in echo chambers changing peoples vocabulary

Glad others are noticing this, it deserves more attention than it gets and everyone should be aware it's happening.
disambiguation
·8 tháng trước·discuss
> The founder, Yudkowsky, posted an article ... in which he asked readers to choose between two options. One is that a single individual is tortured mercilessly for fifty years. The other is that some unfathomable number of people suffer the almost imperceptible discomfort of having a speck of dust briefly in their eye. So which of these is worse? His argument was that the second, the dust speck scenario, is much worse because if you do the math. . .

Does shitposting on Twitter count as eye irritation?
disambiguation
·8 tháng trước·discuss
This sparked a really fascinating discussion, I don't know if anyone will see this but thanks everyone for sharing your thoughts :)

I understand your point - to an LLM there's no meaningful difference between once turing complete language and another. I'll concede that I don't have a counter argument, and perhaps it doesn't need to be prolog - though my hunch is that LLM's tend to give better results when using purpose built tools for a given type of problem.

The only loose end I want to address is the idea of "doing reasoning."

This isn't an AGI proposal (I was careful to say "good at writing prolog") just an augmentation that (as a user) I haven't yet seen applied in practice. But neither have I seen it convincingly dismissed.

The idea is the LLM would act like an NLP parser that gradually populates a prolog ontology, like building a logic jail one brick at a time.

The result would be a living breathing knowledge base which constrains and informs the LLM's outputs.

The punchline is that I don't even know any prolog myself, I just think it's a neat idea.
disambiguation
·8 tháng trước·discuss
I am once again shilling the idea that someone should find a way to glue Prolog and LLMs together for better reasoning agents.

https://news.ycombinator.com/context?id=43948657

Thesis:

1. LLMs are bad at counting the number of r's in strawberry.

2. LLMs are good at writing code that counts letters in a string.

3. LLMs are bad at solving reasoning problems.

4. Prolog is good at solving reasoning problems.

5. ???

6. LLMs are good at writing prolog that solves reasoning problems.

Common replies:

1. The bitter lesson.

2. There are better solvers, ex. Z3.

3. Someone smart must have already tried and ruled it out.

Successful experiments:

1. https://quantumprolog.sgml.net/llm-demo/part1.html
disambiguation
·8 tháng trước·discuss
The double entendre occurred to me, I don't disagree.

But the relative ease does not merely apply to users, but to the barrier of entry for alt products as well.

Consider that the current paradigm is contingent on the "blind trust" users have held in tech for a long time. It's possible that a new kind of app will thrive in a different paradigm.

For example, is there any reason we couldn't have a simple "message wrapper" which only sends encrypted payloads via SMS or Email and decrypts on the fly in a secure sandbox? Easy for the user and hard to regulate.