skysight-inc/HackerNews huggingface dataset:
Actually, Turing completeness would make it worse. This system means that when you pull in things from multiple places and multiple teams, the interactions between the different things would be really trivial to understand. e.g. if you want to know "why is this preprocessor macro being set?" then the tooling can tell you exactly why - even if the answer spans multiple modules from different teams. But the other side effect was that people tended to not do anything crazy or even just different (compare with the whole find_package business in cmake where different packages do things in different ways and frequently have conflicting compile/link requirements)

I am very familiar with embedded stuff, and this whole system was built precisely because of that. Some people are developing in visual studio so give them a good visual studio project that works well, some are working with a proprietary garbage toolchains, so you need to let them write makefiles and have enough flexibility to let them encode how to do that in the build system (e.g. all the different quirks you get for figuring out header file dependencies). The policy I used was "every toolchains needs some lowest common denominator support" and then "once you have that, let every toolchains be as good as possible with equivalences given abstractions". It did appear to work.

I think you may have misinterpreted me on the multiple build system thing. There is one build system and it produces files that each ide/toolchains can work with. So it can make xcode, visual studio, makefile, etc. No one edits those by hand, just like cmake, gyp, etc
Raven’s progressive matrices, obviously intended to test the intelligence of birds.
Can't wait for LLRT to be marked stable. Was spending time looking into Rust lambdas, but was reluctant about the total build times for my stacks and getting new team members onboarded with lambdas. (Though in fairness, Rust lambdas tend to be short and digestible, which are perfect for Rust novices.)

LLRT is basically no learning curve. Same old esbuild most TS and JS devs are used to. I guess we're sticking with one language from front to back again:

CDK in TS, lambdas in TS, and frontend logic in TS.
thanks for mentioning ast-grep!
Yeah because you ardent motorists care so much about emergency vehicle access right?

I don't have a problem with roads, I have a problem with roads being gridlocked and destroyed by single occupancy private automobiles and the resulting unnecessary deaths and road upkeep.
i think it depends how you quantify it. seems like there are many other species that might have things worked out better than we do
Thank you so much, Oliver! You're the second person that recommends me to look at murdle today, I'm sure I'll get some nice ideas from them.

About saving the state locally, should be trivial to do since I'm using React, nice suggestion.

The hardest level usually is tricky, but I'm sure you'll solve tomorrow's puzzle.
You are forgetting John Deere’s contributions to these anti consumer practices
>Tokyo is simultaneously the most populated city on earth and one of the most quiet, clean, and least congested places I've visited.

Sorry, no this is culture. The same virtues exist in Japanese suburbs, nothing to do with a city.
Sounds like Xerox all over again.
well, i would not recommend shared_ptr except under rare circumstances, but i don't see what can be wrong with RAII. in fact, it is the languages thar don't have RAII that have the problems, IMHO.
Yes. Who do you think laid the infrastructure for people to get water and sewers in the first place?
Mermaid Chart, a Markdown-like tool for creating diagrams, raises $7.5M
I assume you program in assembly language, then? Can’t trust those structured programming types to know best how to manage your instruction pointer after all. “Functions”, “loops”, “conditionals”, all just fancy words for straitjackets.
That's the idea yeah, the economic strategy in France is very simple: if it works then tax it, it if doesn't work then give more subsidies.

That's a terrible long term strategy because the good companies are subsidizing failing ones, destroying the reward function of the market.

The second terrible side effect to this policy is that the subsidies system is too complex for small companies to handle so the small companies have an increased failure rate compared to a normal economy.
I blocked their IP address specifically. Contact me if you want it.
#2 is better than just being screwed for nothing, but a discount for giving up privacy is equivalent to others paying extra to keep their privacy. To me privacy should be a right, and not a premium tier.
It is not clear to me if they are _only_ using GitHub as source. The Stack explicitly mentions they are using Software Heritage as source and Software Heritage definitely sources from repositories that are NOT stored in GitHub (and never have been).
AutoComplete and Machine Learning are tools.

They are not the same as the Abomination parading as Intelligence called "AGI".
Language implementers ought to know better than me (the user) about programming language semantics, in this case specifically things like memory safety.
Second Potato Riffs Report – Slime Mold Time Mold
Show HN: Prompt Injection Testing Tool – GitHub
The Prompt Injection Testing Tool is a Python script designed to assess the security of your AI system's prompt handling against a predefined list of user prompts commonly used for injection attacks. This tool utilizes the OpenAI GPT-3.5 model to generate responses to system-user prompt pairs and outputs the results to a CSV file for analysis.
Except the only people who eat that much beef are certainly not walking anywhere so it’s a fun “statistic” that has no basis in reality.
I don't know why no-one here sees this as a bad design...

If a line is missing a newline then we just disregard it?!

A way better way to deal with newline is it's a separator like comma. And like in modern languages we allow a final separator, but ignore it so that is easier for tools to generate files.

Now all combinations of characters, including newline characters, has an interpretation without dropping anything.
How do y'all provide the fake AWS? Is it built in-house or are you running something like LocalStack?
Sequential and parallel execution of long-running shell commands
seems like that would be very straightforward to the point that i could probably do it but maybe not in the most elegant way. I would be surprised if there wasn't a model on hugging face trained to identify the political leaning of some text. I bet it would be small enough to run locally, then it's a matter of creating a plugin/module or something that you add to your email client that runs on every new mail. Based on the result, move the email to your political spam folder.
If you can get the PIN (shoulder surfing, social engineering) you can reset/change the Apple ID password.

Reportedly then you can add a second face to Face ID with Set Up Alternate Appearance and get access to everything, but I have not seen that confirmed.
Since when have bicycles been public transport?
I suspect you're right.

Even though even permissive licenses like MIT and BSD require attribution and preservation of copyright notices. Maybe their AI just can't "reliably detect" licenses.
Awesome, thank you for publishing it. I was planning the same, but didn't find the time yet.
The animations also stood out to me. I took a look at the source to see if they used a library or were written completely by hand and was surprised to see that they were entirely CSS-based, no JavaScript required (although the "metadata" overwrite animation is glitched if you disable JS, for some reason not immediately apparent to me).
I'm late to this but you should consider posting in the next "Who Wants to Be Hired" thread on Mon April 1. (See https://news.ycombinator.com/submitted?id=whoishiring.) And if you're open to working at a startup, https://www.ycombinator.com/jobs has tons of jobs at YC-funded startups.

Good luck finding good work!
Not really an iPad-specific issue. A clipboard or checklist could have done the same thing.
> The Web as a whole is messy, and invisible metadata is systematically less well maintained than the primary human-centric information.

besides web, there are tons of data providers and their clients, who are interested in well maintained quality of data..
Am open to constructive criticism: My Halting Problem solution
I may be wrong about this, feel free to offer constructive criticism:

Step 1: Load the program and initialize my Halting Problem program's variable n to 0.

Step 2: Save the register context (meaning all the values in all the registers in a CPU) to memory location A.

Step 3: Step variable n + 1 instructions.

Step 4: Save the register context (meaning all the values in all the registers in a CPU) to memory location B.

Step 5: Compare the contents of memory location A to memory location B. If they match exactly, then exit with a return code of "This program is in an infinite loop", if they don't match exactly, then goto Step 2.

The variable n is an unsigned fixed point arbitrary precision integer.

If this solves the Halting Problem as proposed by Alan Turing, then does this also solve P versus NP?

An example of this working:

ax is a 2 bit register initialized to 0.

100: add 1 ax

101: jmp 100

ax is 0, 1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3

0 is compared to 1, 1 is compared to 3, 3 is compared to 2, 2 is is compared to 2, wait, that's an infinite loop...

Well, my program basically detects if a infinite loop is of 1 iteration or two iterations or three iterations or ... iterations, but only infinite loops and not finite loops and in a finite amount of time. This means that finite loops don't trigger my program ever, only infinite ones after a finite amount of time.

TLDR: A turing machine can run my program and determine whether any other program halts or infinite loops in a finite amount of time, never infinite only if the variable n can be infinitely large.
I don't think that gets around the code licenses. They may use it as if it does, but I'm not convinced that would hold up if soemone were wealthy enough to make a court case.
> However, we cannot prevent a publicly available from being archived by anyone using our "Save code now" feature

This is not true. They just had to remove about 500 public repos to comply with my copyright.
This seems like it should initially be targeted at homeowners to charge their EV at home without having to plug it in.

Of course, we will learn nothing from the EV charging plug debacle and we will end up with 3 different competing standards all incompatible with each other.
It was doomed from the start, because monetizable computing platforms that target consumers can't succeed if they don't have high barriers to entry.

Low quality Atari games were responsible for the 1983 video game crash. Anyone could publish an Atari game. So what ended up happening was people made games about things like raping Native American women (Custer's Revenge) and they were sold just like any other Atari cartridge.

Nintendo pioneered the closed platform. No one was allowed to build games for Nintendo without Nintendo's permission. Microsoft and Apple did things a bit differently, by making their platforms as difficult to develop for as possible. WIN32 is byzantine. Making iPhone apps when the App Store was launched required learning Objective C, which was an entirely new language to most developers at the time.

OpenAI on the other hand created an app store which, in their own words, "is simple and doesn't require any coding skills." https://openai.com/blog/introducing-the-gpt-store
Looks like the author is very focused on maximally optimizing some very compute-heavy signal-processing code, and doesn’t care much what is used outside of the compute kernel.

So it may be very true that for their work it’s all the same whether they use C++, or Python with numeric libraries, or some niche DSL, or a macroassembler.

But use of C++ is much broader than pure compute, so this perspective does not generalize to C++ or Rust as a whole.
“four quarters, ten dimes, twenty nickels, one hundred pennies, five dimes and ten nickels are all equal to the same amount” - only a human could come up with something so unintuitive.
> making a mess every 30 minutes for 70 years

Oh that's adorable. I have a parrot and poops aren't even the biggest mess he makes.

They love to fling food. And shredding. And throwing everything you hold dear. And even a tiny 120g parrot like mine is strong enough to open cupboards and drawers.
Time for an end to end encrypted Git Service.
>If someone asks me "Have you been served a warrant with a gag order?" - I'm allowed to say "No", and lie about it if I want to. I am not allowed to say "Yes", per the gag order.

>Now, if someone asks me: "have you been served a warrant with a gag order? Say no if the answer is no, but say nothing is the answer is yes". Now, I am allowed to say no, and allowed to say nothing, even though by saying nothing it directly contradicts the point of the gag order? Is it really the case that these gag orders are meaningless if someone just asks the question in the right manner?

It isn't about asking or answering questions. Let's say I light a fire in my firepit each morning that I haven't been served with a secret warrant. The day after I'm served, I simply don't light it. Anyone watching the firepit then knows that I've been served. Nobody is asking me anything, and I'm not saying anything. The government can compel you to stay silent due to a gag order, but they cannot compel you to trudge out every morning to light the firepit.
I firmly disagree with this. We're talking about learning C, not learning an arbitrary programming language. The course of study the GP comment suggests teaches syscalls, pipes, buffering, and most important, it teaches mechanical sympathy. All of which are things a C programmer needs to understand.

More programming tasks than you might imagine are low-level bit banging, and C remains the language of choice for doing them. It might be Zig one day, and if so, the same sort of deep-end dive into low-level detail will remain a good way to approach such a language.

Far from becoming "rapidly obsolete", learning in this style will prevent this sort of mistake for years into the future: https://news.ycombinator.com/item?id=39766130
What FOSS solutions give me an editor in the web, Codespaces, free CI/CD compute, free website hosting, etc.?
This is the first I've heard of blksnap. Looks very interesting. There's not much documentation in the repo. Am I understanding correctly that if I were to build a custom WSL kernel with those patches, I would be able to do snapshotting in WSL today?

Can you give or link to a brief description of how blksnap works?
Same. Every OS I use always make sure it has this kind of simple app launcher. Super key -> search field -> autocomplete -> enter -> app starts. What more do you need? Most OS's have a version built-in nowadays. Seems like a solved problem.
You can disable issues.
Redis adopts dual source-available licensing
I like https://celestialprogramming.com/apps/SolarEclipseViewer/vie... . Well, mainly because I wrote it. But I think you'll find it has a few features others don't, which might make you like it less or more.
Seems unclear. The BC might represent money being laundered, and things like property purchases might be part of the laundering activity. If she's a laundress, I think she'd need to further pass the property titles on.

If she's the beneficiary of laundering, there's a whole 'nother interesting story untold here of why she is getting these gains.

If these are accumulated commissions, at a 10% commission she'd have moved $20B already, which would be sort of impressive. I don't know the commission rate, but the job would be well-paid.
I think this is probably more the type of content being viewed on the computer vs time spent…

That or all of us admins and devs are in trouble.
while true i += 1
People who produce IP either by work for hire or by selling their copyright rights.

I've had people "steal" IP by sending me a PDF of a paper they wrote whose copyright resides with their university. Not the typical image of a thief.
It isn't really network-agnostic... in fact it doesn't support the (by far) largest DHT out there, the Mainline DHT that bittorrent uses.

This is just a crawler for DHTs that use IPFS's implementation, or at least smell very similar to it.
yes - i switched from C to C++ a long, long time ago (late 1980s) because C++ was so much more strongly typed (i still don't understand why other C programmers have stuck with C). i'm less than convinced with the promises of rust (for e.g.), but have only written trivial programs in it.
Governor signs bills creating EV charging station network across Wisconsin
The Dutch beg to differ[0].

Over a third of Dutch people cycle as their most frequent mode of transport. Over a quarter of all trips are on a bike. 49% of primary school students and 75% of secondary school students cycle to school.

Cycling has been a national priority for the Dutch, like the automobile has a been a priority for much of the rest of the developed world.

With e-bikes, fitness and terrain are less relevant than ever. Unsafe(car dominated) bike routes are the number one obstacle to increased cycling.

[0] https://en.wikipedia.org/wiki/Cycling_in_the_Netherlands
Maybe that could be adapted, but I don't think it would solve my problem currently. Basically I want to be able to do btrfs snapshots from within my WSL distros, so that I can run restic or similar on the snapshots.
Redis Inc. is moving the https://github.com/redis/redis/ project away from the three part BSD license to a dual license using two non-OSI approved license. This comes after previous comment from them saying that "... the Redis core license, which is and will always be licensed under the 3-Clause- BSD". (https://redis.com/blog/redis-labs-modules-license-changes/)
At least one of my repos with no license/spdx was excluded, though the source files do say "all rights reserved" in them.
Because it isn't really network-agnostic.

It only supports IPFS and derivitaves thereof.
you're completely free to run firefox from 5 years ago and it will not refuse to run.
> besides web

That's Semantic Besides, not Semantic Web then.
Search and Rescue data? How does that help here? And is there a repository of SAR rescues somewhere?
this audience will also enjoy(?) the tree-sitter discussion going on here: https://news.ycombinator.com/item?id=39762495

there are very similar complaints about "yikes that thing just vomits a massive amount of loosey goosey C" so I hope you've not experienced the crashes they're talking about
The accuracy of that story was vigorously denied by people in a position to know: https://twitter.com/natfriedman/status/1712140497127342404
Copyright doesn't yet exist for AI generated content as it needs an author
Does your bag have magnets in it?

https://old.reddit.com/r/peakdesign/comments/nkb6t2/laptop_w...
This looks fantastic! Does it support node extra ca cert etc? I’ve had that issue with mkcert in the past and it’s easy to fix but another thing to keep track of in these already complex dev setups if you’re doing local https.
The bigger problem is that parrots are very social and need a lot of interaction with you throughout their lives not just until they are teens.
If Austin Powers was a programmer:

On a leash? What? ... [if only I could work in a] consequence-free environment, I'll be sound as a pound!
Quite often! But usually in the mirror/kid cam, because I'm driving the family somewhere.
How to build a centralized logging solution with Grafana Loki
Waze was bought 10 years ago, and I think that one went well. They didn't try to integrate it to the whole Google Account thing, but they definitely share data between it and Maps (so Waze users get better maps, and Google Maps gets better live traffic information).
> Do you know that in MSVC uint16_t(50000) + uin16_t(50000) == -1794967296?

Not only is that insane code and both my compiler and static analysis go for my throat, it's also not true. I think the argument is supposed to be about unsigned integer overflow, but the numbers don't add up. The big negative number wraps to 63744. And the sum (100K) wraps to 34464.
Ironically, the only way to catch that stuff at scale or in an automated fashion, is with AI.
Printers aren’t usually shipped in operable condition.
This is a bit of a misnomer, languages don't generally stop you from doing things. They just make really damn sure that you aren't doing it by accident.
ceviche: Electromagnetic Simulation Tools and Automatic Differentiation
Oh I see, you're arguing for a dock-style mouse-based app launcher. I see no reason there can't be both that and keyboard-based Spotlight-like launcher too. It's not like one impedes the functionality of the other.
what do you think those new languages prevent you from doing?
China has their plan up to 2049. I doubt that something that other nations would do change it.
Constellation issues first US nuclear green bond
I feel like Melingo was just created for the valuation bump. There's next to no information about it.
Is a bounds check on every container access good for me? Not always. Sometimes my code is correct. But security vulnerabilities are observably a huge problem. And you only need one vuln in iMessage or whatever to get a dissident journalist's phone hacked and then get them murdered by the Saudi government. Is "I know what I'm doing, I promise" good enough for you in that case?

I find it interesting because until about three years ago, C++ was always on the other side of this argument. We fight about static type systems. You could shout at the compiler that you know that your code is correct even though the type system doesn't pass. Why does the committee think it knows better than me! Everything is just bits after all!

Now we are on the other side. C++ people saying "bro I totally promise I'll initialize this data member before it is used, stop making me initialize it in my constructor"
> This is again based on the premise that public transport costs time, rather than saves time or doesn't matter time wise.

This is a reasonable premise. Because a car is point to point and public transport by definition is not. I agree it is possible to maneuver yourself into a situation where you live immediately next to the subway stop and your job is immediately next to the other subway stop. Public transport will save time then. But that's very rare and also a fragile setup because as soon as you change either home or job, it's no longer true.

So for most people public transport means walking to the nearest stop, taking the subway/bus and then walking to the destination. So yes it takes more time.
This is true. While there is no explicit "pay to remove", if you have a premium account you have far more power to remove reviews you don't like.

Source: I know of a company that paid for a huge package, and routinely removed bad (true) reviews about said company. They loved it.
Note that this archive project is French.
This is what is happening in the US city I reside in. Developers are gobbling up land and putting in “high density” housing, but without building any additional amenities or restructuring roads that make the area more enjoyable to live in. And this is in a city with very libertine zoning rules, so mixed use is not restricted. The price/foot is about the same for the higher density housing as it is for a house and a yard just a 10-20 min drive further out, so given the choice between high density/no amenities/no parking/not walkable/surrounded by high speed roads vs a house with a yard and a garage (will have to drive in either scenario)…I’ll take the bigger house and the yard.