skysight-inc/HackerNews huggingface dataset:
As someone with a strong bias towards interactive, investigative, "library-first" development, LINQPad is an essential part of my C# toolkit, as every other C# REPL and interactive environment I've tried has come up short in one significant way or another.

Essential LINQPad productivity features for me include:

1. Flexible visualization tools with sensible defaults and one-click export.

2. Ability to easily round-trip copy/paste code snippets between LINQPad and external IDE projects with minimal fuss (e.g., no boilerplate required for expressions, statements, or simple functions).

3. Automatic reloading of libraries I'm working on externally in an IDE with minimal IDE rebuild interference.

3. Completion on par with VS.

4. One-click document cloning.

5. NuGet integration, including the ability to search for and update referenced packages.

6. A simple, built-in debugger.

A typical LINQPad workflow for me (excluding tasks like writing documentation and unit tests for brevity):

1. Start with a task of accessing or exporting data from either a set of files in an unknown format or from an application — ideally, but not always, a Web application — without a documented API.

2. Create a library project in Rider or VS and a LINQPad document referencing the library.

3. Investigate the files or application interactively using LINQPad and other tools (hex editors for investigating binary formats, jq/IPython/PowerShell for JSON and XML, browser dev tools for Web apps, accessibility tools when automating Windows desktop apps, etc.).

4. Add data access mechanisms to the library.

5. Repeat steps 3 and 4 as necessary, with more and more work being done in LINQPad via the library on each iteration.

6. Build simple command-line or graphical tools on top of the library to allow non-programmers to access or export data from similar systems in the future without LINQPad. In cases where non-UI logic in these tools becomes non-trivial, I'll typically prototype this logic in LINQPad and extract it into a library, as well.

Finally, as new requirements arise, I can load up existing libraries and LINQPad to analyze and prototype solutions, often leading to initial results delivered to customers in minutes rather than hours.
That's exactly what happened to us. It was great!
Look how much carbon we emit when we fight conventionally. Maybe throwing around few nukes might actually save some people in the long run by delaying global warming.
> Even with a source of randomness the software for a computer has a formal syntax and this formal syntax must correspond to a logical formalism.

Real world computer software doesn't have a formal syntax.

Formal syntax is a model which exists in human minds, and is used by humans to model certain aspects of reality.

Real world computer software is a bunch of electrical signals (or stored charges or magnetic domains or whatever) in an electronic system.

The electrical signals/charges/etc don't have a "formal syntax". Rather, formal syntax is a tool human minds use to analyse them.

By the same argument, atoms have a "formal syntax", since we analyse them with theories of physics (the Standard Model/etc), which is expressed in mathematical notation, for which a formal syntax can be provided.

If your argument succeeds in proving that computer programs can't have intentionality, an essentially similar line of argument can be used to prove that human brains can't have intentionality either.
Mastodon would already gain so much if they integrated fedifetcher[0] as an option for all instance admins. Make it opt-in, add a note that this component isn't maintained by Mastodon (the legal entity that used to be a German non-profit). Most of the annoyances, especially on small instances, would go away.

[0] https://github.com/nanos/FediFetcher
I'm sure cloud providers "love" this ;)
https://openrss.org/open.spotify.com/show/4rOoJ6Egrf8K2Irywz...
Huh, I got some old tablets laying around that are locked to long-lostgoogle emails. Wonder if I could dust 'em off and give em a new life with this stuff.

I know there's other paths to doing this, but they involve wires and more time than I'm willing to spend soldering and downloading weird software from people with non-Roman characters in their discord handles.
No, 1 is inevitable no matter what you do. "Won't somebody think of the children" is not an argument.
No, trauma is harmful. The whole idea here is to reduce the risk of trauma, not cause trauma.

Think of it like this: Growing up in an excessively sanitized environment leaves children's immune systems weak and makes them susceptible to serious diseases later.

The solution: Give children inoculations, let them play outside, etc., to exercise their immune systems in safe conditions.

Not the solution: Give children serious diseases.
>Exactly. In practice you always want each loop iteration to perform some action that brings you closer to some desired end state. That loop invariant + some notion of getting closer to the end is usually the proof you need to prove termination.

If you're making Space Shuttle software from scratch yes. In practice for 99% of current mainstream development you depend on piles upon piles of dependencies, which might or might not check those loop invariants correctly, or might have a (trivial to add) endless blocking timeout, a deadlock, and many other wonderful things.

Usually they're not even set in stone, you'll update to the next version, and if they introduced such an issue, there's lots of fun to be had.

Nobody doubted you can have formal proofs for algorithms, or checked software in certain conditions and for certain controlled environments (e.g. using MISRA C and such) (in fact, I support this in a comment elsewhere in this thread).

The objection is to the idea that this is applicable (or trivially applicable, and we just aren't doing it out of laziness or something) to regular software development.
They're fairy tales. They don't have singular authors. They were transmitted orally and almost certainly adjusted based on whoever the audience was at the time. Just because the Grimms fixed them in print (more or less) doesn't make us beholden to them: they're still fairy tales. Fairy tales have always changed. There is no canonical version of a fairy tale, and no ownership. Disney's Snow White is as valid a telling as anyone's.

The original stories weren't even meant to be read to children. They got adjusted to be more child friendly even in the 19th century. It's very weird to insist that we must read children the original Cinderella even though 1) Grimm's story isn't the "original" Cinderella because there is no original, and 2) even the Grimms didn't think these stories child-friendly.
I loved Wishbone as a kid precisely for that reason; despite the premise being pretty bizarre (telling a classic story but make the main character a dog), even as a kid I always thought it was cool how little they "talked-down" to me.

I remember the Dr. Jekyll and Mr Hyde episode unambiguously kills off Jekyll at the end of the episode, and it genuinely kind of disturbed me a bit when I was a little kid, but in a good way.
Beware of a gotcha here: object keys are tested for strict equality and not deep equality, in other words add/get must use the same object instance and not just an object with the same keys/values
Show HN: Created an Event Page for IT Services – Looking for Feedback
I’ve created a page where you can register and share events related to IT services. I’m curious to know who might be interested in using this platform to register their events. If it doesn’t seem appealing, I would appreciate any feedback on how I can improve and what direction I should take for future development.

Thank you in advance for your insights!
If the pieces of state are all well known at build time - and trusted in terms of their content - it may be feasible to print out JSON 'manually' as it were, instead of needing to use a JSON library,

print "{"
print "\"some_state\": \"";
print GlobalState.Something.to_text();
print "\", ";
print "\"count_of_frobs\": ";
print GlobalState.FrobsCounter;
print "}";

Whether it's worth doing this just to rid yourself of a dependency... who knows.
Would you consider an Airbnb property that offered $0.99 per night rates for max 1 night and then asked you arrange alternative payment for additional nights to be in violation of Airbnb policy?
I misread this:

> How easy is it to use two handed and not like a laptop?

Two-handed NOT like a laptop? Probably slightly better than touch-typing, the keys might work a tad better that way but I haven't really tried it a lot - just using it to type in web addresses and such.
Right, I forgot about the digital license activation method. I even used it myself in the past, albeit manually. Thanks for the correction.
> a couple of private facebook groups

There's the secret sauce: you need a high trust trade network. Well this is pretty cool. I love to learn about weird informal economies, thanks!
If durability is the chief constraint, and tape measures are adequately durable and already on-hand for the work being performed, then:

The tape measure itself can be used to perform basic arithmetic, and will even return results in Freedom Fractions if that's how it is labeled.
> what ASML does is very important and shouldn't be left to a single corporation.

But that's not what market abuse is about. How is ASML impairing their competitors? What would breaking them up do, besides create a second ASML? You have to explain how separating ASML's IP helps the market or their customers.

> So nobody is going to break them up, in the US at least.

Didn't people say the same thing about Microsoft? "How would they get broken up over something as insignificant as Netscape?"
"Chaucer used ask, ax, and axe interchangeably." but ask was the original form: "From Middle English asken (also esken, aschen, eschen, etc.), from Old English āscian, from Proto-West Germanic aiskōn" -- wictionary
A pile of apples (or a stack of one dollar bills) would make a pretty natural introduction to the Peano axioms, and from there the basic mathematical operations.

- A pile without apples is a pile of apples. We call it the empty pile.

- The successor function is to add an apple to the pile. Apply the successor function to the pile of apples and you still have a pile of apples.

- A pile of apples is as large as itself

- If the left pile has as many apples as the right pile, then the right pile also has as many apples as the left pile

- If you have two piles of apples you can add them by checking if the second pile is empty. If it is empty you are done and the result is in the first pile. If not take an apple from the second pile and add it to the first pile. Then check again and repeat

And then you can teach him about the bijection between money and apples. After a little more set theory you can start constructing two piles of apples, one representing what you have one what you have to give away ...

The possibilities are endless.
Of course, there are still non-banned activities but it's not only swimming. Cheerleading, football, skateboarding, even lifting are risky activities and do have some chance of injury.

It's easy to cite the injury stats for these and use that as a reason to avoid, but my point is we rarely look at the other side. Kids' interest differs and the more activities we ban, the more we curtail the set of potential interests that get kids off the couch and outside.
How did you get into an MSc without an undergraduate engineering degree?
> Certainly it would not be the case in the event of the lead car braking erroneously.

Not certain how you are rationalizing that.

If I think i see a deer jump out of the woods and hit the brakes then

a) I didn't need to brake, but my understanding of the world said I did, safety first!!

b) the car behind me would still be at fault.

Self driving vehicles would be the same. They could easily see something that a driver wouldn't and thus hit the brakes and stop a collision, but the human driver behind it wouldn't' see the obstacle and therefor think the autonomous car was breaking erroneously.
>It’s unclear whether Maestri was saying that the EU accounts for 7 percent of Apple’s worldwide App Store revenue, or 7 percent of all revenue, but I suspect it doesn’t matter, and that both are around 7 percent

Eh.
Which part of my factual and emotion-free comment do you find misleading? Which of my two sentences is wrong?
From iPhone to Mac – Enabling Rapid Local Deployment of SD3 Medium with S4nnc
This is literally just the description under the video, no idea how it should have saved me an hour, more like 10 seconds.
No, it's not. This is because Apple is the one providing the enclave, so the party you have to trust is them. When a cloud vendor offers this they use trust rooted in the manufacturer of the chips they are using.
see also "bricolage"
Ugh, this also probably means it will throw a code if you try to thwart it by disabling the sensors.
Actually Zyklon B came out of WWI research, and in the interim it was licensed worldwide for use as a fumigating agent. Including from 1929 onwards in the United States, where it was used by the Public Health Service to fumigate freight trains and clothes of Mexican immigrants entering the country.
>Then, understanding Brahmā’s invitation, the Buddha Vipassī surveyed the world with the eye of a Buddha, out of his compassion for sentient beings. And he saw sentient beings with little dust in their eyes, and some with much dust in their eyes; with keen faculties and with weak faculties, with good qualities and with bad qualities, easy to teach and hard to teach. And some of them lived seeing the danger in the fault to do with the next world, while others did not. It’s like a pool with blue water lilies, or pink or white lotuses. Some of them sprout and grow in the water without rising above it, thriving underwater. Some of them sprout and grow in the water reaching the water’s surface. And some of them sprout and grow in the water but rise up above the water and stand with no water clinging to them.

This is from Digha Nikaya 14. There is another one, but I don't remember which sutta, where Buddha says that for some people the path is long and hard, while for others it's short and quick.
it is large monitors that make tiling window managers so useful. It makes sense to split them and tiling is more usable than overlapping windows.
The world is good, bad and everything else in-between at the same time, and we try to stick to the good bits. I remember reading that children gain the ability to understand that around the age of 7. Prior to that, seeing the bad taints the whole world for them.

I can't tell if that's true, but intuitively rings so. Now, if it is of life-or-death importance to condition your children never to go into the forest alone while you are tilling the fields, perhaps that's a good tradeoff. Most medieval people died in their childhood anyway, worrying about their psychological baggage in adulthood was premature optimisation.

But in 21st century, I think we can do better, and wait with teaching children about the good and evil parts of the world until they are more ready for it.

That's not to say we dumb everything down and take away nuance. But it doesn't have to be gory. Bluey is full of nuance and suitable for all ages.
it was for for food transportation. not actual food preservation.

basically a unnecessary thing turned necessary because of the mechanics that turned a profit on luxury food moving long distances.

just like oil allowed to transport 3lb of banana per American on cooled ship holds... America would hardly starve if all those ships disappeared overnight.
Microsoft removes instructions on how to set up local accounts in Windows 11
Show HN: A VS Code extension to remove Bootstrap / Tailwind redundant code
Hello!

I made a VS Code extension that cleans up redundant Bootstrap and Tailwind code. On a few occasions, as a developer, you see that in some lines there are classes that are totally unnecessary, like having both col-4 and col-xxl-4 when col-4 alone suffices.

Examples of redundant classes:

-> "col-4 col-sm-4 col-xxl-4": are replaced with "col-4"
-> "pe-3 pe-md-5 pe-lg-5": are replaced with "pe-3 pe-md-5"
-> "ms-lg-5 me-lg-5": are replaced with "mx-lg-5"
-> And a big etc.

Just by installing it, those redundant classes are going to be replaced on save.

For now it just works for a few languages.
> I'm not making a claim that mental health doesn't matter if it doesn't result in suicide or incarceration. I'm saying: those are two sets of numbers you can find going back to the intervention (the sanitization of fairy tales) and trace since then.

That's like the drunk searching for his keys under the streetlamp because that's where the light is! Yes, those are the numbers we have, but do they reliably measure the things we care about?

(Are you denying that the millennial mental health crisis exists at all? The fact that it doesn't show up in your preferred statistics is completely independent of any discussion of what the causes may be)
If you hit someone then you are at fault. Very few scenarios where this isn’t true such as is someone cuts you off and brake checks you and you manage to catch it on video and can prove it. Otherwise if you can’t stop in time if the car in front comes to an instantaneous stop you were too close and are at fault. None of the what if they have Brembos brakes matters if you can’t stop in time of an instantaneous hard stop you are at fault. At required safe distances the car in front can hit a brick wall and you should have time to stop. There is no complication here.
I meant heatsink as in the water itself - not the reactor hull.

As far as I know, pumps are used to exchange seawater directly with the surrounding environment - hoses are used to this effect in dry dock.

I am told there are proprietary secrets used to control the electrolysis output gas mixture and coolant temp mixture so as to not increase detectability.
The Crimean civilian injuries were due to Russia shooting down the missiles and knocking them off course, not using air sirens to warn civilians, not building shelters, and encouraging tourism in an active war zone.
C'mon, what could they possibly use a phase-conjugate tracking system for?
Deficiencies in LLVM's LoopVectorize
I don't know what the rules are in the US but here in Switzerland, the following driver is always assumed to be at fault. You're meant to maintain sufficient distance to safely stop your vehicle no matter what happens in front of you. If you hit the car in front of you, it generally means you didn't have sufficient distance, weren't paying sufficient attention to the road or weren't in a suitable state to be driving a car.

That's not to say that drivers here are absolutely perfect by any means; just that the expectation is that you always keep sufficient stopping distance.

It's drilled into you during the mandatory training courses that this means stopping distance as well, not just braking distance. You're also required to undertake a course that includes emergency stops in adverse conditions, like simulated ice.
Prato, just outside Florence, "is home to the largest Chinese community in Italy and one of the largest in Europe (...) the medieval Tuscan town of 195,000 counts around 12% of its residents as Chinese—though undocumented residents are suspected to bump the percentage up much higher" (to quote the first result I found on google search)
>Another commercial for eliminating cash and moving to 100% digital currency!

Because then it would be impossible to do transactions on paper when the computer system goes down? That doesn't sound like an advantage.
For the lazy who don't know some of these:

https://drewdevault.com

https://fabiensanglard.net

https://danluu.com

Dan's is the only one I recall visiting before. And it's memorable because of the maximally wide text width. Personally I would find Dan's site more usable, and visitable, if there was an ordinary text width. Some reasonable default that is more readable.
They're the exact same thing. There's no point to privacy if there's no reason for having it. Simply declaring it a human right is worthless if you can't justify why it is one.
MuxServe: Flexible Spatial-Temporal Multiplexing for Multiple LLM Serving
I am a huge fan of Micropython. Sure, there are things that it can’t do because of the limits of highly constrained systems. But it is a great toolkit for limited systems, and greatly lowers the barrier to embedded experimentation.
You should be following cars at a distance that you can react to them slamming on their brakes. Always. Unless the car drives in reverse and hits you the following vehicle is at fault.
I wish there was a registry key you could set that would make it impossible for Microsoft to put up any kind of modal UI element whatsoever.
Peak of hype/excitement - many things have their technical peak (most units sold/most units in the field) after the real "popularity peak".

CD-ROM drives first started not being put in Mac laptops in 2008, so the peak "units sold" would have been somewhere in the early 2000s. But by then Internet speeds were fast enough and other methods existed, so they were waning in popularity/excitement.
I remember reading a blogpost about this, they compared binary search on integer keys with a highly-optimized unrolled SIMD linear search.

The takeaway was that the break-even point was suprising small - just tens of elements, which is crazy considering a CPU can do like 2x 8-wide AVX2 integer comparisons in a single cycle. Modern CPUs are just that good at executing branchy code.

But with B-trees we can have the best of both worlds - trees with a relatively high branch factor, like 16, that can still be tested in one go using SIMD.

Another advantage is cache locality - which is one of the reasons B-trees are favored when implementing filesystems - much of the tree doesn't need to be fetched into memory while the parts that do are contiguous in memory.
His estate decided to modify the property they own to exclude words they found offensive. Do the owners of a book with the rights to its publication not have the right to publish whatever they like?

The only thing I don't like about this is copyright keeps his books from being republished by anyone but his estate. Copyright lasts far too long.
> Some people think that the following vehicle is always at fault, but this isn't strictly true (IAAL).

I'm having a really hard time coming up with a scenario in which a following vehicle rear-ending another vehicle isn't going to be considered to be at fault.

All of the driver's ed materials I have ever seen always emphasize that you need to be in control of your car and able to stop in time irrespective of what the car in front of you does. This includes things like a sudden stop or a sudden lane change exposing a stopped car.

Back in reality, nobody ever puts enough distance between cars, so we wind up with dozen+ car pileups.
Yes, that's why I said "most". I'm sure there are some exceptions. However, I have also had friends complaining about their Tesla AEB slamming on the brakes at highway speeds for no reason.
I think you're wrong.

Suicide does not have stable reporting rates. It was very stigmatized in the past, and so investigators would notoriously report suicides as "unknown cause of death" if they could.

Violent crime, on the other hand, is much more correlated with things like poverty than with mental health.

I think it's quite obviously the case that there are no clear indicators about what "mental health" looked like 100 years ago and there. Any projections into the past will involve a lot of extrapolation and have all sorts of biases.
« Save an hour » means there isn’t a lot more interesting to see about that video than your two sentences.
I think of jobs rather as of prerequisites. If a prerequisite is somehow automatically satisfied (dunno, only back up on Mondays, and today is Tuesday) then it succeeds immediately. There is no "skipping". Wfm.

I find embedding logic into DSLs usually quite painful and less portable than having a static job graph and all the logic firmly in my own code.