MurphyA/hacker-news huggingface dataset:
by rurp | 2025-06-13 18:02:36+00:00
I second this, and would add that taste buds are more elastic than many assume. Drinking less sweet drinks can be underwhelming at first but your tastes do adjust fairly quickly and can often get to the point where mildly or unsweetened drinks taste as good or even better than the sugary stuff does, and the stuff that used to taste normal will be too sweet. Drinks like tea and coffee have a lot of flavor that that comes out without so much sugar.

One issue is that if you're buying drinks there are very few intermediate options. I don't mind a little sugar but if I'm traveling and stop at a store the drink options are usually 97% super sweet (artificial or otherwise) and 3% zero sweetness, with nothing in between.
How does feedback usually happen during projects?
by alishahlakhani | 2025-06-13 18:02:42+00:00
If you’re working on a project with designers, devs, managers — lots of moving parts, how do you usually collect feedback?

I get that most people just drop a text or WhatsApp, or talk face-to-face. But what I’m really curious about is ad-hoc feedback on UIs.

Do on-site feedback widgets actually work? Would you use one if it let you leave powerful, contextual feedback right where it matters?

Would love to hear from anyone who’s dealt with this.
by Sniffnoy | 2025-06-13 18:03:01+00:00
The axiom of choice allows you to make infinitely many arbitrary choices.

You don't need the axiom of choice to make finitely many arbitrary choices. Let's say you have a pile of indistinguishable socks in front of you. You want to pick two of them. Well -- assuming that there are at least two of them to pick -- you can pick one, and then you can pick one from what remains. If something exists, you can pick one of it, that's permitted by the laws of logic; and if you need to do that multiple times, well, obviously you can just do it multiple times. But if you need to do it infinitely many times, well, the laws of logic aren't enough to support that.

You also don't need the axiom of choice if the choices aren't arbitrary, but rather are given by some rule you can specify. There's a famous analogy used by Russell to illustrate this. Suppose you have set in front of you an infinite array of pairs of socks, and you want to pick one sock from each pair. Then you need the axiom of choice to do that. But suppose, instead, it were an infinite array of pairs of shoes. Then you don't need the axiom of choice! Because you can say, I will always pick the left one. That's a rule according to which the choice is made, so you don't need the axiom of choice. You only need the axiom of choice when the choices have some arbitrary element to them, where there isn't a rule you can specify that gets things down to just a single possibility. (Isn't the choice of left over right making an arbitrary choice? In a sense, yeah, but it's only making a single arbitrary choice!)

(The axiom that lets you do this, btw, is the axiom of separation. Or, perhaps in rare instances, the axiom of replacement, but the axiom of replacement is generally irrelevant in normal mathematics.)

So that's what the axiom of choice does. Without it, you can only make finitely many arbitrary choices, or infinitely many specified choices. If you need to make infinitely many choices, but you don't have a rule to do it by, you need axiom of choice.

[Edit: Given the article, I should note that I'm describing the role of the axiom of choice in ordinary mathematics, rather than its role in constructive mathematics. I know little about the latter.]
by dajkodsad | 2025-06-13 18:03:24+00:00
I Want to Help Make It Better: github.com/SSkipr/PhantomChat

I’m not the dev — just someone who stumbled on this and thought “yo, this could be huge.” I really want to contribute something meaningful to the project, so I’m looking for feedback and ideas to take to the dev or maybe even help implement:

What features would make this more usable for you? Any specific conversation styles you'd want built in? Memory across convos? Would a UI/dashboard make this easier to use?
by PaulHoule | 2025-06-13 18:03:35+00:00
... or Visicalc, TK/Solver, etc.

I've always been baffled that people think spreadsheets are like dataframes when the really interesting thing has always been you can write formulas that refer to each other and the engine figures out the updating. Most of the times I've written a spreadsheet I haven't used the grid as a grid but just a place I can write some labels, some input fields and formulas.
by kennywinker | 2025-06-13 18:04:12+00:00
> The US, EU, UK, and individual countries have all determined no genocide

https://news.un.org/en/story/2024/03/1147976

“Specifically, Israel has committed three acts of genocide with the requisite intent: causing seriously serious bodily or mental harm to members of the group, deliberately inflicting on the group conditions of life calculated to bring about its physical destruction in whole or in part, and imposing measures intended to prevent birth within the group,”

That the political allies of israel defend it by denying an ongoing genocide is hardly evidence it’s not happening.

> Moreover, civilian deaths stop in Gaza the moment Hamas surrenders and returns the remaining hostages.

Patently false: https://www.reuters.com/world/middle-east/israels-netanyahu-...

Israel turned down a deal back in january 2024 that would have released all the hostages.

If hostage taking is wrong - Israel held thousands of palestinians without charges prior to oct 7th.

If hostages are the reason for the war, why has israeli bombing killed so many of the hostages?

> The unfortunate truth is that the Palestinians in a fair election elected Hamas, a terrorist organization that seeks to destroy Israel.

That, and oct 7th, are all events that happened long after the ethnic cleansing of palestine started. The policy of “Trimming the weeds” lead to an intensification of anti-israeli sentiment in gaza.

But the election of which you speak was in 2006 - and hamas was elected. It’s been 19 years since an election in gaza. So anyone under 37 killed since oct 7th could not have voted for hamas. That’s most of them btw.

Also, you do see that the tread you’re responding to is someone explicitly saying the only path to peace is complete genocide of either gazans or israelis? Pick your friends better maybe?
by yencabulator | 2025-06-13 18:04:27+00:00
The article, then again, specifically talks also about telemetry. The parent commenter conveniently chose to ignore them because of the Apple reality distortion field.

> fbs.smoot.apple.com - for crash reports, analytics, or user feedback.

> purchase pancake.apple.com - telemetry

> xp.apple.com - telemetry
by _fizz_buzz_ | 2025-06-13 18:04:48+00:00
At least theoretically it should be doable. But I think it will be similar to the moon landings. My prediction: People are going to lose interest in the project very quickly. It will be prohibitively expensive to maintain and there is simply nothing to do. You couldn’t even really have a remote programming job there. A light round trip takes between 6 and 44 minutes, completely unsustainable.
by neilv | 2025-06-13 18:05:25+00:00
I think some recruiters are already doing AI-slop, too. (Not just the LinkedIn-spamming templates that some sourcers were doing before.)

Hopefully we'll get a big backlash against disingenuous passing off AI-slop as a communication from a human.

Maybe sending someone an AI-slop message will become universally recognized as trashy behavior -- employed only by the corporate communications of companies that really don't care, but not by anyone respectable.
by woopsn | 2025-06-13 18:05:51+00:00
Axioms are also introduced in practical terms just to make proofs and results "better". Usually we talk in terms of what propositions are provable, saying that indicates the strength/power of these assumptions, but beyond this there are issues of proof length and complexity.

For example in arithmetic without induction, roughly, theorems remain the same (those which can still be expressed) but may have exponentially longer proofs because of the loss of those `∀n P(n)`-type propositions.

In this sense it does sometimes come back to intuition. If for all n we can prove P(n), then `∀n P(n)` should be an acceptable proposition and doesn't really change "the game" we are trying to play. It just makes it more intuitive and playable.
Tech-related books good on audio
by hookedonwinter | 2025-06-13 18:06:36+00:00
I often find myself with time to listen to a book but not necessarily read (walking the dog, holding the baby, etc).

What are some good tech or tech-adjacent books that are good on audio? Here are some I've listened to over the years already:

- Sandworm: A New Era of Cyberwar and the Hunt for the Kremlin's Most Dangerous Hackers https://www.goodreads.com/book/show/41436213-sandworm)

- Countdown to Zero Day: Stuxnet and the Launch of the World's First Digital Weapon - https://www.goodreads.com/book/show/18465875-countdown-to-zero-day

- Algorithms to Live By: The Computer Science of Human Decisions - https://www.goodreads.com/book/show/25666050-algorithms-to-live-by

- Alan Turing: The Enigma - https://www.goodreads.com/book/show/150731.Alan_Turing
by IAmBroom | 2025-06-13 18:06:55+00:00
Exactly true. But being hairless apes, we tend to overrely on our ability to group. "Smells like ___, must be bad at finding bananas in modern C++ product development process."

Where ___ is: "no formal education", the accuracy is possibly over 50%.

Where ___ is: "Dutch", the accuracy is below 50%
by rwyinuse | 2025-06-13 18:07:38+00:00
I think it still varies a lot between individuals. Caffeine often makes me more anxious, the effect on mental energy levels seems kind of random (either short burst of energy or just more tired mentally). Yet when I tried methylphenidate it made my mind calmer, clearly reduced anxiety and helped focus while increasing energy. At the same time it gave me pretty bad insomnia, stomach issues etc.

The best I can describe it is that I felt calmer in my mind, but overstimulated in my physical nervous system.
by refulgentis | 2025-06-13 18:08:17+00:00
I have 0 idea what Cunningham's Law is, so we can both agree that "recognizing purpose" was "mind-reading", in this case. I didn't really bother reading the rest after the first sentence because I saw something about how I joking and congratulating me in my peripheral vision.

It is what it says on the tin: choosing to lie doesn't mean you want the truth communicated.

I apologize that it comes across as aggro, its just that I'm not quite as giggly about this as you are. I think I can safely assume you're old enough to recognize some deleterious effects of lying
by woolion | 2025-06-13 18:08:25+00:00
From the point of view of proof-theory, you can show that PA (arithmetic) is equivalent to the consistency of the omega cardinal (the countable infinite). Basically, everything line up quite well between things you want to be true and things that are true in that system. This equivalence breaks down with higher-order system such as System F, but it gives a system that may feel more natural, especially to programmers. The problem that explains the endurance of "formalism" is that there are so many things that you "want to be true" that can't be shown to be true in intuitionistic systems is a real issue. For instance, simply proving that a fast-growing function is total. You are fine with recurrence, but not if the function grows too fast? This sounds really stupid. But I don't think many people care that much, they'll just use whatever give them results.
by felixrieseberg | 2025-06-13 18:08:48+00:00
> Instead of competing with hundreds in the application pile, you reach decision-makers directly.

As a hiring manager, my inbox is already drowning. I don't mind the applications, I mind that most of them are _clearly_ not a good fit to the point where I'm confident that they themselves have not looked at the job posting for a single second.

The more tools like yours will be built, the more you'll have to know someone who knows me to even get a chat with me - because I won't browse through hundreds of automated messages just to find the one that isn't. I'll be honest: That'll create a tech world even more hostile to people without "the right connections" - and that makes me sad.
by Uninen | 2025-06-13 18:08:59+00:00
I used to not care that much about fire risks of cheap electric devices (apart from lithium batteries like here because they seem to be inherently volatile/dangerous) until one day few years back when a faulty wire of a $3 iPhone charger from AliExpress caught fire on my desk.

I probably wouldn't have noticed it until way too late if my cat hadn't happened to sleep next to it on the same table. He had a sudden scare of the fire and jumped quickly off the table. It looked so weird that I went and looked what he was afraid of and saw flames coming of the half-melted charger and the wire. The desk was full of paper and junk, it was seconds away from catching fire in a way that I probably couldn't put down anymore as I live in a flat and don't own a fire estinquisher. (We only have a fire blanket in the kitchen but that wouldn't have helped much.)

I will never save few bucks from charger wires or chargers or power banks like these ever again -- it's just not worth it!

That all said, don't have any experience from Anker devices myself but in my experience you typically get what you pay for when buying cheap.
by Bender | 2025-06-13 18:09:01+00:00
There are many changes that have been brewing for the LibreOffice 25.8 office suite release due out in August. Some of the highlights for this release include:

- Various performance improvements for loading Writer documents and DOCX files.

- LibreOffice Calc has performance improvements for opening of Microsoft Excel (XLSX) ifles and various other performance optimizations to this spreadsheet program.

- A variety of new functions were added to the Calc spreadsheet program like WRAPCOLS, TOCOL, TOROW, EXPAND, DROP, CHOOSECOLS, VSTACK, and others.

- LibreOffice Writer adds a command to insert a paragraph break before tables.

- The Ctrl + Shift + F2 command shortcut was added for converting fields into plain text.

- LibreOffice 25.8 brings a new application-wide viewer model for opening documents in read-only mode.

- Support for importing encrypted hybrid PDFs.

- Various spell check dictionary and thesaurus improvements.

- Removing support for Microsoft Windows 7 and Windows 8/8.1.
by hintymad | 2025-06-13 18:09:23+00:00
The real threat to a senior IC, in my own experience, is losing their edge, especially in a large company. As they grow more senior, they will spend more time in meetings, writing more docs, aligning more teams, drawing more boxes, tossing around more terms, defining more product features, and talking to more customers. As time goes by, they gain more institutional knowledge and getting better at company dynamics. They know which VPs to trust. They know which squeaky wheels to oil, and which buttons to push. They do everything better, except designing or implementing a challenging system.

That is, the senior ICs start to resemble a strong product manager, or an effective director without a team. These are all good - until the company suddenly no longer needs them. Maybe their team has become a cost center. Maybe the project gets into maintenance mode. Or maybe the product has been so stable that the company does not even need more alignment. At that time, the ICs will find that all the institutional knowledge and so-called "leadership" is not that transferrable. And when they go out and interview for a new job, they find that they can't even sketch a solid design.

Sadly, I don't have a solution. There are exceptions. I guess it's natural that a senior engineer will gain breadth but also get distracted as they age. What they need is a different kind of depth. They can still be of value to a younger team if they are like a hard-science professor who depends on their PhD students to write papers, yet they can still advise the students as no one else. In industry, my role models are people like Michael Stonebreaker, who can still shape the architectures of modern databases in his 80s. Wernher von Braun of Saturn V rockets, who could come up with new rockets like no one else. Or Kelly Johnson of U-2, who could direct and unblock his engineers with ease. Or Marc Brooker of Amazon, who seems able to go deep into both database and distributed systems to keep coming up with amazing systems. But then, I'm not sure how many people can be talented as those engineers.

Or maybe another way is to get domain expertise, like how payment works, how insurance works, how accounting works, and etc?
by pclmulqdq | 2025-06-13 18:09:36+00:00
I think that's pretty much it but IANAL. Tritium vials are available for sale for use in self-luminous products. The vials themselves are pretty expensive for what they are, and they come with documentation about who initially created the vial (or how it was imported).

I have a gun with a tritium-based night sight (so the sight dots glow with no light), and it came with documentation about the provenance of each of the three tritium vials.

I also believe it is a crime to break open a sealed tritium vial.
by gamblor956 | 2025-06-13 18:09:59+00:00
As I said in another comment: you're basing your entire product around doing one feature, but your competition is the entire package.

Redline doesn't appear to be working in Firefox in the web demo you have available. As that is supposed to be your killer feature I would say that your product isn't yet in MVP state. Also, the UI is quite bad and not the slightest bit intuitive; it's the kind of UI that only makes sense once you already have been using it for a while. As you pointed out, most firm lawyers already know and use Litera, so you need to not just be better at your one chosen feature but you also need to be easier and more intuitive to use and you're not.

It's okay for you to be offended by this criticism; this is your baby. But I'm being realistic here. You can choose to ignore critiques and die stillborn, or address these complaints (which other comments have also pointed out) and actually make something that a small but sustainable niche of lawyers will happily use.
by matt_kantor | 2025-06-13 18:10:29+00:00
> Write each task on a sticky note. When you finish the task, crumple the note into a ball and throw it into a clear jar.

I independently stumbled upon this same system. It sounds like the author takes it further than me (I don't create notes for routine/repeating tasks, and don't break them down so much—in a typical day I only complete around 2-3 notes).

I've used sticky notes for years, but ~6 months ago added the jar (prior to that I just recycled them). It helps to have a visual reminder that I'm making progress over the long term, even if it doesn't feel like it some days.

My current jar is just about full and I've been debating what to do with it. Save it as desk art? Find a bigger jar and transfer the notes? Burn them in a cathartic ritual? I'm open to suggestions.
by Ccecil | 2025-06-13 18:11:33+00:00
Every now and again when the time seems right I message people who have helped me. Especially in the opensource world which can be incredibly hostile to the devs. Just say "thank you for your work".

More than once the reply has been "What do you need?". So I feel it is important to give thanks at those times where you really need nothing from them.

Like so many others have said...do your best to give back and pay it forward. Sometimes all it takes is time to talk.

I personally have had several people who have given me far more help than I ever expected (or possibly deserved). The only thing I can do is attempt to do the same for others.

Time goes fast. Sometimes if you hesitate to give thanks you miss the opportunity.
by philipkglass | 2025-06-13 18:12:05+00:00
China has one 1100 kV HVDC line completed in 2018:

https://www.nsenergybusiness.com/projects/changji-guquan-uhv...

The Changji-Guquan ultra-high-voltage direct current (UHVDC) transmission line in China is the world’s first transmission line operating at 1,100kV voltage.
by brudgers | 2025-06-13 18:12:57+00:00
I asked the contractor if there was anything that could be done to prevent the standing water. He said it’s a common occurrence in the drain area and not a problem.

Proper placement of the scupper prevents standing water.

Low slope roofs with parapets require two drainage paths. A primary that is the lowest point and an overflow which sits above the lowest point. The purpose of the primary is draining all the water.

The secondary has two purposes:

1. Drain water if the primary drain is clogged without exceeding the live load of the roof structure.

2. Alert the building owner that the primary drain is clogged. For example by dumping water out a visible scupper on the facade or in the case of internal secondaries by triggering an alarm in the building's management system.

Standing water on a new roof is a symptom of improper design. Roofs are a place where it makes more sense to pay for architectural services because nobody ever gladly exchanged roof leaks for cost savings. And that roof is going to leak.

TPO, properly installed can make a fine roof. But standing water will void any manufacturer's warranty because the roof is not properly installed. Coal-tar pitch is the only roof that can reliably resist standing water...and you won't save money installing coal-tar pitch, it's carcinogenic and a specialty trade.

Finally, if you really want a reliable roof pay for a twenty year no-dollar-limit bond. The bonding company will come out and closely inspect everything before issuing the bond...and the contractor doesn't get retainage...so yeah you want a good contract, too.

I'm sure the Redditor felt clever with all the money they saved. But if you are sitting at the table with contractors, to near statistical certainty you are the dumb money.
by btilly | 2025-06-13 18:13:28+00:00
That does seem extremely relevant. And is a mirror of the fundamental insight behind nonstandard analysis. Which is that that any set containing the integers that follows some set of axioms, has a nonstandard model that follows a nonstandard version of those axioms, and which contains infinite integers.

This can be seen as why it is different for a set of axioms to prove that it proves something, than it is to prove something directly. Because when the axioms prove that they prove, you might be in a nonstandard model where that "proof" is infinitely long, and therefore isn't really a proof!

And that is why, for example, if PA is consistent, then it remains consistent if you extend PA with the axiom, "PA is not consistent". Clearly any model of that extended set of axioms does not describe what we want PA to mean. But that doesn't mean that it logically contradicts itself, either.
by jackietreehorn | 2025-06-13 18:14:08+00:00
"73% of applications never reach humans,"

care to provide a source for this ?

" but 85% of positions are filled through networking"

care to provide a source for this ?

No one is attached to Job Compass - AI https://www.linkedin.com/company/jobcompass-ai/

So your service couldn't even find the "decision maker" at your own company, ironic no ?
by sneak | 2025-06-13 18:14:10+00:00
The entire video game industry is presently mostly indistinguishable from the gambling industry, and cryptocurrencies are just a special case of cryptographic authentication.

That means these rules are subjective.

Does “military use” include selling games to soldiers to play them whilst on base? Seems like a strict interpretation would say “yes”.

Licenses like this are complete and total nonstarters for anyone serious. It’s risk and potential liability nightmares for no benefit.