skysight-inc/HackerNews huggingface dataset:
How appropriate, I often have many GitHub issues and corresponding PRs which chip away at problems that are not yet solved. They usually start with some naive approach that doesn't scale. The reasons for its unsuitability to ship are listed then iterated upon. Sometimes work done elsewhere by someone else or myself will find relevance and move the ball closer to the goal. I've always thought of this process as "gardening PRs".

My other process is Emoji-Driven-Development where a whole lot of these PRs can be listed (with high density) and only a single emoji indicating each development status. It's good for refreshing the mental list of unsolved things and where/why they're stuck.
> You can be healthy without drugs.

The example I gave, Trikafta, is a treatment for cystic fibrosis. Without drugs like this you would not be remotely healthy and are all but guaranteed to die young.

You're entitled to your beliefs about "poisonous foods," but I think people may not be receptive to what you're saying because it seems a bit like you're throwing out the baby with the bathwater here. Yes, eating well should be our ultimate goal. Yes, using drugs to mitigate the effects of a poor diet is a band-aid solution. (Although band-aid solutions are still a net good—that's why we have, you know, band-aids. Sometimes it's not possible or easy to fix root causes and the best you can do is stop the bleeding.)

But framing long-term medication use as a bad thing in itself is generally not convincing to anyone but the crunchiest of hippies or anti-establishment types. Prescription drugs restore a lot of people to normal functioning that they otherwise wouldn't achieve.

I agree that it would be better if we could prevent people from developing autoimmune diseases, or cancer, or unhealthy eating habits in the first place, but in the meantime we have... drugs. Which is better than not having drugs at all.
> Alphabet has 2T market cap, get your head out of your sitting place, lol.

That same sort of thinking is what led to the downfall of yahoo.
You may be conflating microservices and horizontal scaling. You don't need to have multiple (disparate) microservices to scale. Microservices have absolutely nothing to do with scaling. That's a myth started by people who never understood the actual point of microservices, which was partitioning and continuity of developer productivity.
Yes. Compiling single files is supported by calling the exported `compile` function, example setup here: https://github.com/glebbash/LO/blob/60b80d1b325136ce1ceaf4dc....

For includes to work compiler uses WASI which can be implemented in the browser. LO playground and VSCode extension use this approach. Playground link: https://glebbash.deno.dev/lo-playground/ and source: https://github.com/glebbash/glebbash.dev/blob/main/static/lo...
Social media silencing thoughts during COVID-19 that later to turn out to be right. And mostly nobody is very mad about views being silenced all over the internet.

That's the first thing that sprung to my mind.
You make it seem like the formal verification missed an issue. Not quite what happened:

"The first effort consisted of analyzing part of the RA autonomous space craft software using the SPIN model checker. One of the errors found with SPIN, a missing critical section around a conditional wait statement, was in fact reintroduced in a different subsystem that was not verified in this first pre-flight effort. This error caused a real deadlock in the RA during flight in space."

The model actually found an issue that was later reintroduced in a different part of the system that was not formally verified. If anything, it tells us we need _more_ formal verification!
glue + tomatoes = recipe directory
Nice work, this looks great. I'm not a Java dev, so I can't say I'll be using this, but the design is nice and simple, and it is fast.

The pricing seems a bit steep. It isn't an exact competitor, but it reminds me of https://kapeli.com/dash which appears to be $15/year. Annoyingly dash is Mac only so poor linux devs like me can't use it, so having this be a web app is great.
This is just the same old disproven "hard times lead to strong men, strong men lead to good times, good times lead to weak men, weak men lead to hard times" nonsense.

If you paid any attention to what the talking heads driving the culture war discourse in the US have openly said about what they have been doing, it's obvious that the "culture war" is about as much the fault of progressives as the Ukraine war is the fault of Ukraine. "DEI" and "wokism" is just the current designated battleground after drag queens, "CRT", "BLM" and masks/vaccines. The goal is to frame non-issues as apocalyptic imminent threats in order to create political momentum for otherwise unpopular politics of rolling back civil justice advancements (e.g. gay rights, reproductive rights, Black rights, women's rights).

War does not lead to technological progress. War accelerates technological progress. A majority of groundbreaking research happens outside the private sector and war economies usually see more direct state control of the economy and more state involvement in R&D, supported by heavy public spending. If you want to take a lesson from war driving technological progress, you could just do this in peace times.

It sounds like the peace time decadence is not kerfuffles over pronouns but entertaining a privatized economy concerned more with ROI for investors than contributing to a shared public effort.
The wooden Electones like that one are much harder to move than plastic ones like the ME-50, that's for sure!
This sort of situation is not time for an angry blog post. It's time for lawyers. OP needs to speak with counsel and find out whether they have a claim against Cloudflare for interfering with their business in this way. (If OP's business is so illegal they can't get a lawyer to help with that, that's another story, but it sure doesn't look that way.)

Fundamentally, the OP might be involved in something scummy or at least against Cloudflare's TOS. But if that's the case, if you have a customer who is violating your TOS, you don't hit them up and say "pay me an extra $119k a year and I'll look the other way". You say "here are your violations, fix them and prove to me that you fixed them, or pay for plan X which has terms under which they are not violations."

The way Cloudflare handled this is completely inappropriate and even if it wasn't their intention, makes it seem very strongly like extortion. Two wrongs don't make a right, and OP's business being possibly shady does not give Cloudflare license to extort them.
Does anyone use this?

I'm surprised in my multi-cultural familial exposure, I'm not aware of any aunts/uncles using this in cooking, or cousins finding one in a drawer.
Apple will probably add this feature and more to the stacks feature on macOS (a multimodal model would be very useful there). Even better: I expect Apple to use ML and local models to scan file contents and have them show up in search (e.g., on spotlight or Raycast, search for the picture of my latest receipt that I saved __somewhere__ I don't remember).
Yes, i know ocean water is undrinkable but the analogy is still incredibly stupid since you can't tell me with a straight face that absolutely all men on dating platforms are undatable(the undrinkable ocean water).

It's more accurate that women on dating apps are far too picky and have far higher standards online (it's been well documented by percentile of sipes) and therefore in their eyes see most men as undatable even if that's not the case (someone might not have the most exciting or handsome profile but he could still be a fun date or a great dad and yet never get any dates).

But women being too picky online is a completely different issue to not being any datable men out there, which can't be true, and the fact still stands that they have the oversupply which lets them be choosy, which is still better than men having an undersupply issue which is the life of men online dating.

So the more accurate "water analogy" would be that online dating women are surrounded by loads of drinkable water but they refuse to drink it because most of it is average tap water which they see as undrinkable, as they all go online looking for the VOSS/Evian water which is indeed in short supply not just online but also IRL, except IRL they're more aware of it and mostly go online looking to find what they don't have IRL.
You need a lot of users to make a dating app successful. That’s the biggest hurdle for any dating app currently.

How’re you going to get people to know about your app if you don’t have a large marketing budget? It’s gonna be hard. You’d need a big influencer or celebrity or something to pimp it out. You’re then running into the same issue.

Also, no one wants to pay for a dating app upfront. Especially women. Remember, women basically never pay for these apps. It’s men who pay. It’s the same shit for nightclubs. Women are insanely desirable users purely for the sake of generating more revenue off the men.
To be fair, I also didn’t include the session layer!

My writing isn’t a strength of mine, so I appreciate the criticism. My writing going from “bad” -> “is it AI?” is progress.

I struggled with where to “cutoff” the explanation and public key cryptography seemed like a good boundary and better explained elsewhere, as did various OSI layers.

I probably should have gone over the cert and potentially the full chain of trust, I’ll give you that.
Nothing shocking here as someone who has been involved in hosting for close to twenty years.
i added a 'source' button on the index and paper page that takes you to the link you mentioned, thanks for the feedback
It’s possible to figure out exactly what failed if you know how it all works.

But to write a tool to provides a useful description to the user is near impossible because no two setups are the same, it’s not possible to know if something is intentional or not, and it can be dangerous to just make an assumption based on what the common causes are and just suggest to the user a completely wrong answer.

For example, let’s say you can’t connect to a website because the DNS server isn’t responding and the host isn’t responding. You could tell the user that something is probably misconfigured at your router or your ISP is having some issues.

However, it turns out that the actual reason was that your VPN client updated your local routing tables and DNS server but failed to remove the changes when you quit the client. How is a troubleshooter supposed to know that the settings were temporarily changed versus it being the permanent ones?

Once you try to start to write a troubleshooter that can identify the actual cause, you realize that it’s very difficult due to the complexity and variation. At best you can write something that usually spits out a correct answer but also sometimes suggests something totally wrong and leads people down a completely wrong path.
I think I navigate the data flow visually. Or semi-visually. In my mind's eye, usually, but sometimes I put it on paper.
I definitely remember seeing wood carvings of that fig sign. I never really knew what it meant and assumed it was an afro-brazilian thing, but sounds like it has european roots, interesting.
I'd love to disrupt the dating app industry with a non-profit charitable model.

There are many ultra wealthy people that recognize declining birth rates and population will destroy economic growth, and that this isn't a problem that can be solved with more competition.

In software, when there's a technology that can benefit everyone in an industry but individual control creates perverse incentives, companies will band together to create standards organizations or non-profits to harness the tech in a way that benefits everyone. This already happens with the Linux Foundation and open-source more generally.

Dating apps should have the same model because the negative externality of a perpetually single society is going to kill the economy and possibly destroy the world.
> How’re you going to get people to know about your app if you don’t have a large marketing budget?

Why would you not have a marketing budget?

> Also, no one wants to pay for a dating app upfront. Especially women.

That's interesting, because I just read an article talking about how people, especially women, are fed up with their dating apps now.

Maybe instead of abusing the women on your platform by stringing them along to keep them around for as long as possible, give them a good experience and get them to get their friends to sign up.
While I don't have figures, he's doing very well.
Because you can't do that and still call the resulting language C. It would be a different language incompatible will _all_ existing C code.

Pointer decay is a fundamental mechanic in C. If you use arrays in C, and you pass said arrays as an argument to a function, then you are dealing with pointer decay.
Yeah but why do they make the UX so painful? Its their product, they should make it better for the people who use it every day. WHy make our lives worse lol wtf, its good software so I obviously like using it, and want this small change and I'm sure someone like Google can swing it
Less friends and sex could be simply the result of face-to-face communication being steadily replaced with virtual substitutes (and the resulting relative denormalization of face-to-face communication).
could not use the HDMI and USB-C port at the same time

the “base” M3 chip is essentially an overclocked iPad chip put into a computer, and it does not have two display controllers.
What is it with the resistance to new points of view? So often I ask a question about a feature or process to now how it works and they react like I threatened to kill their puppy.
This is probably the bracketed paste feature: https://invisible-island.net/xterm/xterm-paste64.html

There’s a toggle in the terminal settings
The workaround that works very well for me: use DisplayLink.
https://news.ycombinator.com/item?id=38149233
If this is what's happening, the right behavior is to say that and terminate OP's service. Even if OP is in the wrong, Cloudflare did such a bad job communicating with them that they come off as extortionate.
Apple gives you two weeks to return hardware with no questions asked.
Veggie People Meet!
I am deeply worried about both more people reaching pensioner age and stopping to work and younger people waiting longer to settle and start families.

And then even dating apps are failing us.

> More than one-in-10 had received threats of physical harm.

Who are these buffoons? Do you really think a lady will respond to your request for a date if you threaten her!?

> Gen Z and women

These two groups, younger people and women are the hardest to reach. I guess gen Z will be the first truly alone generation.
Working on something related, github.com/idncsk/canvas, canvas-server, canvas-ui-browser, always use the dev or for browser the tarbor branch, waiting on my burger in Budapest sry for the lack of details
This is how I want to live after I FIRE
I’ll tell you why I’m enamored with them. They currently make the closest thing to magic that I’ve seen in my life. If that’s not worthy of admiration, I don’t know what is. They could realistically upend computing and make it far more usable in modalities we humans find “natural” for the first time ever.
> but they didn’t take any clear stand on the matter.

So, you refer to South Park for medical advice ?
I like it because I can design programs to output pipe-delimited tables and selection works correctly (I also hate terminal apps that use the mouse and disable mouse mode everywhere so that mouse selection in the terminal works predictably)
This works perfect. Until you want to see Netflix or other DRM protected stuff.
The closest you're likely to get is if you can do something across a local peer to peer low bandwidth wifi connection. Cellular networks and the makers of the chipsets are very protective of their turf, and don't want you disrupting it, even if you play by their "rules".
Neat, I'll have to pick one up now!
> I'm not sure what you were expecting people to take away from your message, with the way that it is worded.

My guess would be that they were saying that Cloudflare's HN comment on the incident was to complain about google not cleaning up after the incident.

> the particular way you expressed your point heavily implies it.

You can't turn around the burden of proof this easily. Saying "the particular way you expressed it" doesn't give you license to make things up about a comment that is an inch above yours.
...after numerous more hours of understanding how things work.

Not mentioned in this title is that this is a USB device driver, for a relatively simple device, with existing code available. This is essentially a code-to-code "translation" task. I can see how this looks very impressive, but IMHO it's like watching anyone else skilled at their profession.
> aka. Writing HTTP requests from San Francisco for $300K/year

Best part of the article!
I don’t think it’s that Apple is so good but that the competition is so garbage that it makes anything halfway decent seem amazing.
We have a higher standard of living than when the book was written. Even the basics have changed a lot:

> It wasn't until the 1930s that new houses were built with indoor toilets and bathrooms as standard, says Zoe Hendon, head of museum collections at Middlesex University's Museum of Domestic Design and Architecture. "At that time, bathrooms were seen as a luxury."

- https://www.bbc.com/culture/article/20210407-how-the-bathroo...
I use the app Moon+ Reader that can do this. It uses the built-in text-to-speech engine so if someone makes another engine with more natural speech, it can plug in seamlessly.
I think apps over time reduced dating and courtship to very short interactions. It may also have something to do with less places young people can go to interact with each other, but maybe that swipe left or right has permeated to our in-person interactions. My parents met at a roller skating rink. I don't think those exist anymore.
I'm going to chime in to say something I didn't see anyone else mention, which is that your gut has neurons and it probably can make decisions, aka gut feelings.

https://neuroscience.stanford.edu/news/your-gut-second-brain
Amazing. I’ll see if I can get this working on Mac too. I have so many use cases for this.

30 years of audio that needs transcribing, summaries, and worksheets made out of them.
Meanwhile my Intel i5 Macbook Pro 13" from Early 2020 which was around 1.8K when bought new in 2020 CAN DO IT! So it has been better in the past!

Apple downsized in regards to multi-monitor support so that you were forced to buy an M1...M3 Pro CPU which costs substantially more for only being able to drive more than one monitor.

A shame that they did not fix the clamshell mode on the basic M3 Macbook Pro yet.

Hopefully Apple wakes up with Qualcomm X Elite chips soon flooding the Windows laptop market (and they can all drive at least 3 external monitors).
I’m confused. Wasn’t the error actually in an unverified subsystem and isomorphic to an error caught by the model checker in a verified subsystem? Isn’t this more of a cautionary tale for someone not relying on formal verification?
The problem with a root cause is that it explains too much
Honestly, if there ever exists a web-focused LLM that's hyper-competent in media literacy, I'd be happy to delegate to it the job of teaching my kids. We don't expect the most of our teachers, nor do we effectively compensate them for such an important role, so I'm more inclined to trust an LLM that can capably sift through all the data online and teach from what it understands to be true.

Which essentially means the hallucination problem needs to be solved, which is a ways off.
A) the device in question was provisioned by his employer, so it's not his laptop, ergo, the price is irrelevant. If he's not able to complete his work tasks on the device, then it's on him to communicate with his manager to procure a device that allows him to do so.

B) if the device was purchased by him, then the onus is on him to have researched the device's full functionality prior to the spending any amount in any currency.

C) "What Apple is doing is trying to squeeze even more profit out of all users who didn’t read the fine print."

Sounds a bit to me like the author of this blog is feeling a little guilty and self conscious about being apart of this subset of 'non-fine-print-readers'.
FILE_ID.DIZ Description (1994)
They don't own the market leader...LinkedIn
I think that would be a mental degradation. Organising the data is at least as important as knowing what the data is. If you don't have a mental map of what you have, you will not know what you can search. I don't really mean file contents or dates here, that sort of auto-organisation is long possible already.
I think the page they mean is: https://en.wikipedia.org/wiki/Carbon-based_life
Tokyo metropolitan government has a dating system for single people. It's also very strict and you need vetting (ID card, certificate that you are not married etc). Honestly I think it's a very good system and probably something that more and more countries will copy.

https://www.futari-story.metro.tokyo.lg.jp/

And there are detailed dating tips too if you don't want to register

https://www.futari-story.metro.tokyo.lg.jp/futari_start/
I have the same laptop. I am able to run two monitors plus my internal screen without display link. The trick is to use ALT mode on one. This is dependent on at least one of the monitors supporting ALT mode.
The loud sound of fans whirring in the background is the perfect ambiance for this video!
How does any of this detract from the absurdity that no MacBook Pro with the mainline M1/M2/M3 chips has been able to natively drive two external screens?

Being able to use two external screens is practically an expectation of any laptop at this point. I can understand the OP's point that this is ridiculous.
Only Grigori Perelman has won a Millennium Prize.
So… perfect workaround for a work computer?
That's precisely what I mean, rather than maintain desktop and web apps for the Office suite Microsoft is continually moving towards a single stack of web based apps (chat and email being the first two so far). The web based tools dont have VB as a lot of the VB integrations wouldn't be possible on the web anyways.
C programmers NO! You can't do that, that would break compatibility!

also C programmers
Wow, You are trying to compile this old program on new toolchain?

Here is a list of 10k errors due to changed defaults flags for compilation, dependencies breaking by going from 9.4.1 to 9.4.2 and also, your code contains platform-specific extensions anyway.

But C is portable guys! It really is!
I fail to see any advantages to using an android tablet with an editor versus a cheap M1 MacBook, which will definitely be faster and have much longer battery life.
One of my favorite human interactions was two decades ago, after meeting a ski-town shuttle driver. Man was approximately sixty years old, then, and explained that for half the year he drove this bus in winter conditions (higher pay), and then the majority of the year (spring - autumn) traveled wherever his heart/feet desired.

At the time, I hadn't yet begun medical school but knew it probably wasn't going to pan out for me (it didn't thank god!). Instead, I became a union electrician and worked in data centers for several years, then began my own residential service (would not recommend the latter; homeowners are in aggregate not-ideal customers).

I'm currently in no hurry to figure out "what next," other than for reasons of ongoing sanity. For two years I was primarily an electrical inspector, but it gets really exhausting when nobody ever reads your inspection report until pending litigation... so who knows; thankfully my savings allow me to be in no immediate rush/concern.

tl;dr: selling hamburgers sounds nice (although not sure on the financial$-aspect).
Piece of advice. The vocal fry of the narrator makes him sound sarcastic. I hope it helps.