skysight-inc/HackerNews huggingface dataset:
That might be true, although some companies pretty much vanish overnight be it small or large (eg Nokia).

If a private company is burning money slow or fast it doesn't really matter. It's their money, it's not my money.

But when I see spectacularly bad/expensive (usually both) projects financed with taxpayer's money, I definitely do want some scrutiny and responsibility. Unfortunately we don't get any of that because it's not in their interest to do so.
No doubt but he's a comedian, not a philosopher. Carlin's crusty curmudgeon personality never did much for me. I'm an atheist but his whole anti religion shtick really turned me off.
The term turned negative because it represented something that no one wanted to be associated with. Even if you were to use the phrase "unicorn-blessed" in the same context, over time, it could also develop a negative connotation. It's not the terminology that's a problem, but the situation it describes.

"Idiot", "moron", and "imbecile" used to be medical terms.
This is how you know software engineering is still an immature discipline. It’s 25+ years (in my case) as still we are having largely the same discussions about “basic” things. I’m not saying this is bad, but progress is slow, and we can’t blame any particular company or consortia or commercial interest here.
He sure changed his mind!

From a revolutionary new form of money, to suggesting people should develop their own app for tabs...
Hm, really? It uses contenteditable. Paragraphs in the live editor are like this:

<div class="ce-paragraph cdx-block" contenteditable="true" data-placeholder="Type text or paste a link">...</div>

Edit: it's a bit rude to edit the parts of your comments I've replied to.
I would actually be really interested in a bi-directional workflow, such that I would also be able to perform system redesign by changing the diagram's connections - the tooling will then automatically update the interface and the tests such that I wouldn't be able to commit my changes until the implementation matches the diagram.
Honestly, 10% interview rate for a new grad is pretty good. I wouldn't worry about the resume.

Failing 10 interviews is concerning, though. Drill down on what's going wrong there.
I work in video/audio production so a lot of my work ends up venn diagramming with events. Especially media projection/delivery at events. Sound systems, projectors, etc.

When you organize a conference on a location, you are using what they have on site or at best your laptop is hooked in. You have way too much to worry about to bring all your own hardware and to build out the entire media infrastructure conference in a hotel or convention space or wherever you are holding the event. That’s assuming you’re even allowed to access the areas in systems that would allow you to implement your own!

That is an unbelievably laborious task that is unreasonable to put on basically any group. At best weeks of work/installs on top of all the other massive logistic issues you’re handling. If they have a Windows terminal for you to show your presentation, you’re not going to rebuild everything from the ground up just so you can show some static images on open source software/machines. It’s just not reasonable.
The Quest to Understand Tornadoes
What would the point of any of the formal logic tools be for an "ai-first" IDE? Aren't current IDEs "reactive"?
It wasn't just 'digital currencies' Szabo pioneered either. He did the earliest work on smart contracts too. Smart contracts are multi-disciplinary spanning law, cryptography, economics, programming, accounting, and game theory. It's the kind of insight only a polymath would have. People who only know a little about Bitcoin think it's like a currency. But built inside it is a scripting system that lets you program the conditions for moving around coins. This allows for incredibly elaborate extensions to be made to the system without having to change its core rules.

Satoshi was also interested in smart contracts. In fact, there was early work in the Bitcoin code base where satoshi had designed an entire online market system. I've never seen the code for this myself or what features it had. But to me this is so far ahead of everyone else and solidifies much of what would be built on top of blockchain systems that it's scary. So Satoshi builds the groundwork for practically the next 10 years worth of complex, technical discussions. Satoshi even knew that time-locked transactions would be useful so it was part of Bitcoin too.
> Why not? Why is that somehow worse than code that breaks everywhere, all the time?

Imagine this code

int x = 0;
f();
return x;

In a world where you can't optimize based on UB assumptions, x can change in the body of f. So instead of returning the constant zero, you need to allocate space on the stack, store to it, and then read from that location after f returns. Arbitrary pointer arithmetic means that any function can havoc all memory. Even worse, this can happen in another thread.

You don't need to share memory across threads to opt in to data races. You can access whatever you want with pointer arithmetic if you want to be correct in the presence of UB.

Or this code

void do(foo* f) {
if (f == nullptr) return;
f->do();
}

f could be deleted. This could be UB. You need runtime tracking of deleted memory locations (not even objects, since we can set up arbitrary aliases in our UB-defensive world). You can use ASan for this, but even that isn't guaranteed to detect the UaF so you are going to need even more overhead. Even worse, you can't do this if you've got multiple threads. You don't even have to have shared f across threads, you just need to have shared something else and let the other thread do some pointer arithmetic. Any runtime check that f is not deleted can be raced.

> So you and I will never see eye-to-eye because you firmly believe that performance is everything

I do not believe this. I am one of the people at my company fighting to spend performance to buy safety. I just don't believe that the principle of least surprise can be implemented in the standard in the way some people say and I don't believe that UB is totally unique from other forms of incorrectness in a way that should cause us to behave very differently about it.

> I firmly believe that correctness is everything.

Do you run your production binaries with all of the sanitizers enabled?
Disinformation Is an Open Source Problem
I think he managed to say something insightful. That said, he misses many things, including the empirical results showing that in many countries politicians themselves are the superspreaders. Besides, he also spreads misinformation (and hopefully not disinformation) himself with weird allegations such as "legislation like DSA is not likely to play well in jurisdictions with strong or even constitutional support for free speech".
Subscribe to Cypherock's YouTube Channel
What? Pre-owned is widely used by dealers and manufacturers
The meaning of MacDonald‘s quip whooshed over your head. Read it again.
Are you saying that human activity is not related to the increase of CO2 in the atmosphere, or are you saying that the totality of human activity is responsible for a large part of the CO2 increase, and reducing the emissions of one small part won't make a big difference?

I won't address the former which is a ridiculous claim. For the latter, the truth is that we need to reduce emissions everywhere. If there was exactly one sector responsible for the CO2 emissions, it would not be a big problem: we could just stop it. The reason it is a hard problem is that the whole modern human activity is responsible. And changing everything is hard.

> So this looks like a pretty icky attempt to claim that people have a moral responsibility to give Cloudflare money.

Agreed here. Greenwashing is greenwashing.
"Previously owned automobiles" just got shortened to "pre-owned" and that's all over the place today, and I daresay it's seeped into things other than cars.
It generates JSON not HTML
Bold of you to assume they didn’t just skip the need for firmware entirely and go with analog audio and an overhead projector with transparent slides.
Here in the province of PEI there is already a system called targeted basic income. Shockingly the government in power who implemented it is the Conservative Party.

It is pretty targeted though specific people on social assistance, no kids, top up to 85% only of the "market-basket measure". I'm sure there's more to it see the link below.

https://www.cbc.ca/news/canada/prince-edward-island/pei-gove...

edit: by the way about inflation PEI has the lowest inflation of all provinces.
To make software actually better instead of worse when we get worse-than-the-worst code generated by AI's to maintain the coming years?
When I stumble across things like this, I always remember this scene from Babylon 5 (and Peter Jurasik's delivery!)

(Context: they've found an attache and friend they thought was dead, alive but forgotten in a prison cell) https://m.youtube.com/watch?v=kCj-Rnd5SsA
At the time, hocuspocus was still somewhat new and I didn't want to rely on it, but I'd be willing to revisit it again if I were you. I know that TipTap is a YC graduate so I'd assume they're going to invest heavily into hocuspocus because IIRC it's their only source of revenue.
Show HN: Tripmix.ai – AI-Powered Personalized Travel Planning
Hey HN community,

I'm Shek, one of the creators behind tripmix.ai, a travel planning tool that leans on the power of AI to curate unique itineraries tailored to each traveler's desires.

Why TripMix.ai?
In our own travels and discussions with friends, we identified a recurring pain: traditional travel planning is often tedious and doesn't always result in the bespoke experiences many of us seek. We aimed to tackle this by ultizing chatGPT for travel, giving users a planning tool that understands nuanced requests and molds plans around them.

Key Features:

AI-Driven Itineraries: No two trips are the same. Each itinerary is a distinct mix, sculpted around user input ranging from general interests to specific niche desires.
Customizable Plans: Through our 'Swap' feature, users can adjust generated plans on-the-fly, ensuring that the final journey resonates with their vision.
Broad Spectrum of Experiences: Whether you’re yearning for a culinary escapade in the heart of Italy or a tech-focused tour of Shenzhen, TripMix aims to deliver.

We're gearing up for a wider launch, but before that, we wanted to gather insights from one of the communities we deeply respect. We'd be grateful for feedback, suggestions, or even stories of your own travel planning experiences. If you've encountered unique challenges or have particular features in mind that would enhance the travel planning experience, please do share!

Thank you for taking the time, and here's the link to Tripmix for those interested: https://www.tripmix.ai/

Safe travels!
Shrinking glaciers could cause more volcano eruptions
It is not that unpopular. I suppose I appreciate his contributions a lot, but I agree about the kernel of truth approach rather than holy gospel.

I just happen to think he forced a lot of people to think. This one of those things some of his contemporaries tried and failed to do ( not for the lack of trying, it is hard to care after certain point ).
Microsoft checks the return URL to see if it is one of the whitelisted URLs specified by Harvest. Harvest added their own redirection mechanism on top of this, presumably to support multiple instances of their software, which did not do a good job of sanitizing input values for their redirect. So no, this is not an implicit issue with oauth, just a shoddy implementation.
Lower crime because you're sitting at home doing that is a good thing.
They are also undemanding of their government, having reelected the same government many years in a row now. The whole undemanding culture is pointing them to a direction of uniformity, which I guess would equate to more monopolies and less innovation and entrepreneurship.
Par for the course in terms of antidepressants, sounds like a success!
Exponential back-off is fancy. There are a million repeating behaviors in a large automotive codebase. Maybe it's too arduous to code up exponential back-off for all. Even if you have a simple library to do it, it could introduce some complexity.

But it's quite easy to set timers to attempt things at regular intervals, rather than in an infinite loop until they succeed.

One attempt every 5 seconds (assuming a 5-second timeout for the request) is 17,280 attempts a day. One attempt every 5 minutes is 288 attempts a day. One attempt every 15 minutes is 96 attempts a day.

A simple repeating timer is a fantastic solution.

Does the car need to always send telemetry immediately? Can there be a 15-minute latency? If so, just put that on a timer and enjoy 99.4% power savings for offline cars, with basically the same quality of telemetry when they're online.

But what if a car needs to send telemetry at a given moment? Just move up the next timer function call.

But what if I want to get telemetry when the 3G signal is intermittent and briefly available? Just call the function once the 3G signal is available. Do this with a separate cool-down for this behavior.

But what if I need telemetry every second? Just dump all telemetry events into a buffer between successful sends, slap a timestamp on those events, and you can now send data for the past X hours all at once. Even from the black spots.

There are so many options (even less fancy than exp back-off), but this was probably built by a junior programmer without any support network. This feels like a very common lack-of-experience mistake that would be caught in code review if the reviewer cared.
hi ^^, limited knowledge as well, however I'm pretty sure the issue is that Harvest allows all urls to be used as callback urls. You should tell microsoft to allow only certain urls as callbacks. eg, when setting up the workflow, they probably used a wildcard as an allow list of callback urls, instead of creating an actual list of trusted callback urls. I think that's what's happening here, could be totally wrong tho :D
Yes, the blog author has created such a hand-crafted URL, but note that the callback url in the attack's url is to a harvestapp domain, and the attacker controlled portion is in the state, which is pretty much opaque to the oauth server.

That url allows you to link someone to a login.microsoftonline.com link, have a login prompt show up that says "login to harvestapp", and then have the attacker be able to gain permissions related to your real harvestapp account.

Normally, this would not be possible. The attacker with example.com could register a new app that does redirect to example.com, but that would not give them an access token with permissions related to harvestapp, so it would not be useful.

The oauth app, on microsoft's end, has a whitelist of valid redirects, so an attempt to do something like "login.microsoftonline.com/authorize?client_id=$harvestAppID&redirect_uri=attacker.com" will error out on microsoft's side, since that is not a valid redirect uri to receive an access token.

The attack is only possible because there's a valid "outlook-integration.harvestapp.com" URL, which receives the access token, but then also redirects to the attacker's site and gives them the access token too.
If everyone gets a universal basic income, what is to stop the market from raising prices to account for that extra income? For example, if my landlord knows I'm getting an extra $500 a month, what's to stop him from raising the price of my rent $500? Or an iPhone or the price of groceries? It would seem the only way to prevent that is for massive price controls on everything, Otherwise, that extra income means nothing.
Comparing Windows NT with OS/2, I'd totally agree with you.

Comparing Windows 95 with OS/2, there was way too much 16-bit legacy in Windows. Major parts of Windows 95 were still 16 bit code and protected with a giant lock serializing all access. Windows 95 was a great tactical solution, but not a great OS.
This feels like OOP and java all over again. Can someone get me off the edge and tell my why this is different?
"Hubristic scientists extracted biological material from Dracula's correspondence" is a solid concept for a horror story.
> I will buil[d] the project using ruby on rails

Not an editor, but you might want to look at:

"Modern Front-End Magic With Rails 7: A Visual Editor For Markdown (Part 1)" and part 2 (no part 3?):

https://kuy.io/blog/posts/modern-front-end-magic-with-rails-...

https://kuy.io/blog/posts/modern-front-end-magic-with-rails-...

Or just use their rail engine for blogging:

https://kuy.io/blog/posts/today-we-released-bloak-the-rails-...

https://github.com/kuyio/bloak
That itself is an extremely valuable experience. People often decry systems and outcomes without realizing the pressures on the people 'responsible'. You've felt that pressure, and now have a better understanding of why such systems produce negative outcomes.
Train an LLM on all of Satoshi’s known correspondences, then have it grade the correspondences of each suspected Satoshi candidate to determine who actually writes like him.
> In exchange, you have a pie which you completely understand from first principles.

If you ever get to it, with trying to create a Universe and all. It’s like the drum loops joke:

> I thought that using loops was cheating, so I programmed my own using samples. I then thought that using samples was cheating, so I recorded real drums. I then thought that programming them was cheating, so I learned to play the drums for real. I then thought that using purchased drums was cheating, so I learned to make my own. I then thought that using pre-made skins was cheating, so I killed a goat and skinned it. I then thought that was cheating too, so I grew my own goat from a baby goat. I also think that this is cheating, but I’m not sure where to go from here. I haven’t made any music lately, what with the goat farming and all.
> For example when I’m traversing the AST when I’m looking at the node { type: "num", value: 10 }, without doing extra work to go back up the tree I have no way to tell that it belongs to the name “ten”.

There's a very easy way to do it, simply add a pointer from the child back up to the parent. It means you can't share AST nodes but it's damn fast and, once debugged, very easy to maintain.

I've done this on my personal project and so a question to everyone: when I originally heard of using datalog in compilers it seemed like a very good idea, like it was promising some real value somewhere, but I've seen examples that show you can do trivial type checking – but I do that myself and it's very, very easy. Perhaps I'm looking at this wrong? If I'd used data log then I could knock at a few hundred lines of code scattered around the AST objects, but surely I can do more than that with datalog? I feel I'm missing something, and the crowd here seems knowledgeable so any good pointers (good = simple, because I'm a n00b) would be incredibly helpful!

(I am aware of some really advanced stuff like BDDBDDB (https://suif.stanford.edu/bddbddb/), so advanced I can't even follow it, I'm looking for something between the triviality of type checking and the complexity of full dataflow – the problem here may be a personal one, in that I might need to have to write a dataflow implementation to get a really good 'feel' for it, and then I might 'get' the value of using e.g. datalog, I don't know, but any guidance welcome) this will feed into an actual working project).
Simple, just inherit a house with a garage :P
Children of married parents do better, but America is moving the other way
There's no way to stop my car from automatically playing FM, and I never use FM!
It would be helpful if the seats were not so crushingly small and close to one another..
Hmm. My point is that Carlin did not start with 7 words. That is what he is famous for, but he didn't magically show up that day to recors that line out of the blue.

I am too lazy to dig it up now, but youtube has multiple interviews that go over that stage of his life.
…so the problem is that they’re publishing stuff of no consequence? Or that they’re things that are too obvious? Not that they’re inaccurate?

These headlines are all things that happened, that they’re reporting on. You know, news.
This is it. My garage is full of kid's stuff. I don't have a backyard for a shed, plus my landlords installed shelving on all three sides, some not above car roof level.

If we want to park a car in there, it's about an hour of moving stuff out of the way. I stand at the back as a spotter while my wife drives at me. Once she hit me, she turns the car off and climbs out through the back seat. I then climb over the roof of the car.

I wish I was making this up. Glad it's 12 years old with no sun roof. I don't have to feel bad about sliding over it.
Suburbs aren't defined by having personal space. That can be achieved in cities and small towns with in-fill development of high square-footage apartments, n-plexes, and townhouses, or collective workspaces. The suburbs that people complain about are car-centric and are generally underfunded in the long-term, putting significant burdens on municipal and state finances for things like infrastructure maintenance (roads, sewers, etc.). Every suburban garage/city parking space pair is a half-dozen kids without up-to-date science textbooks and equipment.
What makes data relational in your view?
My first thought when the page was loading was "Wow", then while scrolling even more so. It's impressive.

How long have you been working on this?

Edit: Oh, I see, `This project is the result of over 1.5 years of research and iteration.
It would not have been possible without the input of the following people:`
Java still strong with JDK 21
Indeed, and I think the point here is giving the feeling of architectural subversion to the player/audience, which both Die Hard and Deus Ex achieve.
I found the whole thing fascinating, although a bit hard to read due to all the jargon. I recommend reading the last two sections, Discussion and Conclusions.

Edit: Are there bloggers or youtubers who explain these processes in a more accessible way?
>> if you were to use the phrase "unicorn-blessed"

yeah, that exact thing happened with the word "special"
This is not a trivial problem to solve. Some would say that one of the entire points of software engineering is to assure that the code meets the design spec. A more rigorous approach would be to encode your design as a bunch of linting rules that you could run against your codebase (IaC and all).

I'm pretty sure that auto generating a diagram from some code and then trying to work out if it's semantically equivalent to something that was hand drawn is not the answer though. For one thing, the code doesn't contain or implement every single important aspect of the design.
If hidden variable theories exist, they're non-local. Which is a whole other philosophical problem.

As for many worlds - when everything is possible, nothing is explained.
teams can do transcribe well already for me
Just the reverse, you discourage adoption by turning a currency into an investment.

If bitcoins had constant or decreasing value through time then people would be more willing to trade them. This is why deflation is so economically dangerous.

It did encourage mining, but that doesn’t driving long term adoption and has nearly purely negative consequences.

The ideal long term strategy for adoption would have mining to provide a consistent reward in real terms over a long timeframe, low costs and high transaction volumes, and for unused accounts to be charged a small fee. Bitcoin failed all of those which is why it’s never had significant adoption as a currency.
That's why many people he is either dead, in prison, or has lost his private keys.
I guess it depends from where those money are coming: if they print the money then sure, if they take the money from all kinds of government programs, then the prices should stay the same.
Sam was one of my main inspirations in starting http://civboot.org. Awesome to see he's managed to make his own chip now!