skysight-inc/HackerNews huggingface dataset:
I'm curious about what % of users stayed on twitter, compared to pre elon acquisition. Also wonder if theirs more bots or less and by what metrics.
Yes, we do accept dotted emails, but for the moment we only accept emails from gmail, outlook, hotmail and yahoo.
Wife is next to me and checks after. Never had a single wrong word.
The core differences are documented here: https://github.com/DISTRHO/Cardinal/blob/main/docs/DIFFERENC...
i dont know what statically typed language you are using that never requires specifying types. As far as i know only ocaml works this way.

Different languages support different levels of type inference. When im writing rust and typescript im often specifying types this way for structs and function signatures.

With llms what often happens is i write a parameter or variable name and it infers from the name what the type is because i have used the same name somewhere else in my codebase. This would not work without llm autocomplete
Against Nostalgia in Computing
I’m not so sure alcohol is really helping us enjoy life that much though. I’ve had periods with all kinds of different drinking patterns, and it always feel like alcohol always takes away from you as much as it gives. Even when I drink so much that I get a noticeble hangover. It might be subtle. Like feeling ever so slightly worse when not drinking. But there’s always a trade-off.

During long periods of not drinking I don’t feel like I’m missing out on anything.

That’s even more the case these days when there’s so many good non/low alcoholic beers and dry ciders (had some good wines too but too many are bad)

The only pattern of drinking I’ve found that I think actually make life more enjoyable in total, is to have like 2-3 units of alcohol on really special occasions, like 3-6 times a year. Any downside is immeasurable and when you wait so long between drinking it the alcohol is more efficient at making you feel good. You can also go back to not drinking easily without feeling like you’re missing something.

It should be said that the chance of developing a serious problem if you have a habit of drinking. You can have a traumatic experience, or other kind of psychological issues, and suddenly that casual drinking can turn into a real problem.
Like a minute, it's not real time. You click record, let it transcribe then ask it to translate
Cursor is a fork of VSCode with code AI that, in my oppinion, better than Zed and other competitor because they implement the MODIFYING existing code workflow better. Most other code AI products are only good at code generation or being a better stack overflow. I don't use Copilot to tell, does it show you diff like Cursor when modifying code?
Yeah, definitely. I know this is a somewhat controversial opinion, but I do think there's value in developing the muscle around "grinding it out". I think the tricky part (depending on your personality type) is knowing when it makes sense to give up and move on to something else.
Have you tried using Codeium in Neovim[0]? It may not have all the features shown in this post, but still quite good. I will admit though that I'm enticed to try out AI in Zed now.

[0] https://github.com/Exafunction/codeium.nvim
haha, that's fair
> The written internet is doomed.

And the video internet is under ever-increasing enshittification.-
Assuming the 500k people all commute between 6am-9am and 3pm-8pm, that means this interchange moves 160k people per hour.

That's 1½-2½ commuter rail lines or about 3-4 subway lines.

Such interchanges are truly a monument to stupidity.
FYI if you pipe that to glow via adding `| glow -` at the end, it will pretty-print it in the Terminal, if that's something you like

https://github.com/charmbracelet/glow
What GPT-4o Can't Code
It's because they let the same company design and build the interchange and own the concrete plant. "Design-build" project delivery. It is the same reason why the new HSR projects in California have ludicrous vertical and side clearance compared to other countries with better/cheaper HSR.
One of the big problems with using TLA+ is that it verifies your design, not your code. People are looking for ways to link the two. Formal proof works but is too expensive for most businesses.

The most promising approach I've seen so far is... DST! First we simulate a system, we generate a bunch of timelines, then we see if those timelines are valid behaviors in the TLA+ design. I've heard of a few success stories and it's definitely cheaper than formal proof!
Happy to say so.... just sprinkle in a little caldav ;)
It likely came that way via the Vulgate ( https://en.wikipedia.org/wiki/Vulgate ) which was a translation of Greek into Latin in the fourth century. It was the official Catholic version in 1545 - 1563 (the KJV was translated in 1611).

in principio erat Verbum et Verbum erat apud Deum et Deus erat Verbum

Though going back to logos - even that word changed meaning over the the centuries from Heraclitus (5th century BC) ( https://chs.harvard.edu/chapter/17-the-heraclitean-logos/ https://theimaginativeconservative.org/2015/12/logos-of-hera... https://modernstoicism.com/heraclitus-and-the-birth-of-the-l... ) to the neoplatonist school (3rd century AD)

The early Christian church traditions were a battlefield of dueling scriptures and philosophies.

Some books that I'd recommend on that area. Note that my approach to the Bible isn't one of a believer but rather as another work of ancient philosophy (which was my favorite philosophy class of my almost not getting a CS degree) and stoicism is the branch within there that I've read the most of.

https://www.amazon.com/Stoicism-Early-Christianity-Tuomas-Ra...

https://www.amazon.com/Lost-Christianities-Battles-Scripture...

https://www.amazon.com/Lost-Scriptures-Books-that-Testament/...
There's enough open source code available that the hassle of other code probably isn't worth it. LLMs aren't insightful enough to benefit from any differences you'd see between open and closed source code corpii.
Over the years I’ve noticed that I’m often operating in various “modes”. Some of this is related to depressive episodes, but often it’s just a more neutral ebb and flow. I’ll have a week where ideas are flowing and connections form easily. I’ll have a week where it feels like I can’t engage so deeply - like my system is cooling off after exertion.

And this is one of the reasons writing things down has been such a useful tool, and starting with a spec is something I now do religiously after spending the first half of my life just diving in haphazardly (and often not getting very far).

Those ultra productive days are often enough to get a pretty decent spec written; something I can flesh out in far greater detail than I could with a productive coding day. Those down days are now bolstered by the thinking of a version of myself that was firing on all cylinders, and solved many of the problems I probably don’t have the brain power to tackle on the fly when I’m tired and stressed for life reasons.

I feel like I’ve squandered really good trains of thought by telling myself “I’ll remember this and write it down later”. So I always start with writing. Future me always appreciates it.
I don't know of a single modern desktop application that is deploying front-ends simultaneously in WinUI 3, AppKit, and GTK.
You should make that clear on the sign up page.
Heard squirrel is well cool :P
I guess standard HN practice here would be to include the version number in the title (thus implying that the diff is 'a new release') while still clarifying what the project is for users who are new to it.

Since gaspb posted https://news.ycombinator.com/item?id=41302475 first, I think maybe we'll merge the thread thither. (Sorry ibraheemdev! it's on our list to eventually implement some sort of credit/karma sharing for cases like this.)
DanG's thoughts on the comment/'meme' you're referring to:

https://news.ycombinator.com/item?id=23229275

https://news.ycombinator.com/item?id=27068148

https://news.ycombinator.com/item?id=29178442

It seems he's given up fighting it in recent years, but I doubt his view or the facts have changed, and they're worth reading.
> for all SEO, or just Google

It‘s the same, for practical purposes. Other search engines have miniscule market share.

Optimizing for OpenAI and Anthropic might be an interesting avenue, though. Has something been published about that?
Fixing a fifteen-year-old curve fit bug
Bolt Looking To Raise $450M at $14B
Yes, the person would have to both call out and take in corrected squares, or else put the onus on Kasparov (which is what I was somehow imagining they did...).
Yes at the extremes where you have sufficient leverage the hours are irrelevant, but for any pre-IPO stage CEO my statement is clearly not a misconception.
This is one of the faster founding-fitting-exiting stories I've seen in some time. Five years is quick!
China backing off coal power plant approvals after 2022-23 surge
Original title "China is backing off coal power plant approvals after a 2022-23 surge that alarmed climate experts" condensed to remain within title character limits.
I'm a rust nerd and love roc, the problem is my employer won't let me use either.
> "We need to know what 'done' looks like."

Ugh, yes... I wish I had internalized this sooner!
My un-favorite is the people with dogs on the spring loaded extending leashes, who let their little crazy dog come running at my feral-parents dog from a distance, announcing "don't worry...my dog is friendly.".

The people _never_ ask if my dog on her 2 meter leash (the law in Arizona, btw) is friendly, dangerous, anything. They just announce that their dog isn't dangerous to us.

So often the small dog runs up to my dog's face full speed, centimeter from her nose, gets satan-barked at and driven away from us. she's sensibly trying to protect me and her from the little barely tethered full speed maniac.

The people ask if my dog was abused. Nope: had her since she was three months old, the feral mom and others were all adopted. They just don't seem to consider that _they_ were aggressive, in dog body language. And that's hopefully eye opening for them.
A great lever would be to require the state acquire some shares in a company in exchange for the privilege of the corporate veil/limited liability.

1. This provides a benefit in exchange for the trade-in, basically end-running the inevitable Fourth Amendment kvetching if we just eminent-domained a stock holding, and the massive up-front cost of buying shares at market.

2. It automatically diversifies the holdings-- there is no "list of what companies the state can buy", it's basically every enterprise larger than a lemonade stand.

I also love the idea of giving the state voting stock in private enterprise. It will be used politically to maximize accountability. Maybe American regulators have no say about the labour or environmental conditions in a factory you run in Burkina Faso, but give those regulators 30% of the voting shares of the company and let them try to yeet the Board of Directors, I bet that gets action!

I also figured a lot of the trick to solving problems like retirement and homelessness was just to move more services outside of the dollar-denominated economy. Replacing "this apartment costs $1750 per month, and next year it will be $1900" with "we are obliged by law to accept your Class J-45 Housing Ration Voucher" means there's no way to claw additional assets from the poorest people who need the produc
Great question. My first pass at the project was looking to conform to the ACME DNS API [1]. There are some tools for cert management that use that API, so it gave me broad tool support with very little effort. The getlocalcert subdomains don't permit user modification of A, MX, or CNAME records on the public DNS; you've got to do that with a private DNS server you provide.

I may consider extending the service to allow A/AAAA records to private IP ranges, and then I'd need a more full featured API, but this far there hasn't been demand for the feature.

Hit me up on email if you want to chat more (in profile), we're solving some similar problems.

[1] https://github.com/joohoi/acme-dns
Arguably what they win in input training cost they may lose in output censorship cost? But then again the line between Western “Guardrails” and Eastern “Censorship” isn’t all that clear.
shareholder value
Another couple aspects of the high-5 not mentioned in the video:

-it doesn't have any lane merges, you can change from one highway to another without merging, your bridge just becomes a new lane on the next road

-these bridges are very long leading up to the turn, so it displaces a lot of traffic and shifts a lot of the lane changing upstream.
I use it to sync my Obsidian Vault over my different devices and it's perfect. No need of the paying sync solution...
I have a very unscientific feeling that the scientific consensus will probably one day end up being something like:

sun is good for you in moderation, the amount that is ok depends on your skin color, how tanned you get, in which part of the world you are and how often you are outside. Avoid too much sun and avoid sun burns and also avoid crazy strong sunscreens that block the benefits of getting sunlight. The lifestyle that some people have of spending the whole year inside in an office and that spending their all vacations roasting at the beach is very unhealthy because body does not have time to adapt.
Probably accessibility reasons. Even ancient browsers or obscure browsers support text. Their is a non zero chance a browser wouldn't support the image format, or the image might not scale across different screen sizes. Also iirc their was some vulnerability that used a image format so that's also a issue to think about.

Finally, text makes web scraping/parsing much easier, and even ignoring that text is smaller than any image format.
> With a $2m+ net worth you could move to 90% of the country, retire and live off of the interest.

Not really for most scenarios.

For someone who is single and has no kids and plans to stay that way forever and is happy to live a very simple lifestyle, perhaps. Anyone else, no.

You'd still need to buy a house even if you move to a real cheap area, so you don't have 2M in cash. Then, how are you paying for health care? Kids education?
Send2ereader – A service for sending ebooks to a Kobo or Kindle ereader
Are you looking for a product, or one to build yourself?

If you want a product, why not just get a USB-Bluetooth adaptor? It would support HID as well as A2DP (music) and other Bluetooth protocols.

If you want to build something, I'd recommend getting a board with an ESP32.

The ESP32 comes with plenty of example code in their esp-idf SDK. You'd be needing:

esp-idf/examples/peripherals/usb/device/tusb_hid

esp-idf/examples/bluetooth/esp_hid_host
While I get your point, I think it’s a rather uncharitable way of putting it.

A lot of the world is in lower UV continents like the UK. It’s not like it’s a statistical outlier like the great famine. So this research can have benefits to a lot of other people in other counties too.
Add `"features": {"inline_completion_provider": "supermaven"}` to your Zed settings and you can have the best of both worlds :D
Smells like a pre-emptive settlement to me.
I wonder what it would look like to go back in history and compile a bunch statements of the form "The fact is X and anyone who disputes this is wrong." What gems might we find? "The fact is that the Sun obviously revolves around the Earth and anyone who disputes this is lying to themselves." "The fact is that man will never fly and anyone who disputes this is wrong." I'll leave an exercise to the reader to imagine a white plantation owner stating "obvious facts" about another race. I'd like to say "the Earth is flat" but you're more likely to hear that now than thousands of years ago.

And of course we have entire disciplines of study that are basically devoted to finding a justification for being a greedy asshole. I'm guessing you're a fan of those lines of study?

The fact is that the world is complicated, and we're here now and it's our turn to say what it means to be human.
Interesting why would you say that?

There’s not been much opportunity previously to easily fine tune a Gpt 4 class model. I haven’t seen anything written up on this being tried.
> Off leash even, I have always wanted to give my dog the most freedom possible.

> I believe a dog values freedom more than its immediate personal safety.

I'm sure you're convinced your dog would never hurt anyone, but are you really sure everyone else you encounter will feel the same? That's a huge amount of trust to put on both strangers and your dog, and I'd argue it has not been earned. I've never encountered an out of control dog, and I pray I don't have to, but I have friends who have. They broke ribs. Eyes would have been next. Please don't make me or anybody else hurt your dog.
Don’t forget ease and safety. With a stack interchange (and many other types), you often have plenty of time beforehand to position yourself into the correct lane. But if you are going to go through a cloverleaf you will often need to make a stressful weave into the leaf, and then back again into the highway.
The TFA specifically covers this, so skimming wikipedia should have been totally unnecessary.

In fact, the TFA goes further than your wiki skim to add that the merging from the highway to the clover leaf requires slowing down on the highway while entering the highway from the clover requires accelerating. Both of these things are being done in the same piece of road. It does so with graphic animations. You'd probably enjoy the TFA
Nit to the author. Decimal point. Decimal digits. Actually binary point and binary digits.
This is part of the reason why four speed autos stayed in use for so damn long. You can automatically shift a four speed transmission with a pair of solenoids that turn on/off based on the input values from a couple of basic sensors.

The solenoids control which pair of clutches in the transmission engage, which in turn, determines the gear the transmission is in.

Driveability wise, they were awful, and their overall efficiency was pretty bad. But the fact that it could automatically select the correct gear out of three or four with just one user input (throttle) is still marvelous.

They could also handle insane amounts of power for the era. The GM 3L series came out in 1964 and was the transmission people would reach for when they were putting WWII era plane engines into crazy automobiles.
Ah, that sounds fair.
xMEMS Introduces 1mm-Thin Active Micro-Cooling "Fan on a Chip"
Or, I should say, I don't add the feature until I can figure out how it can made be easy and intuitive to use. That's assuming the feature is even coherent with the existing feature set of the database.

Of course, it's easy for me to do this. I am not developing the database for commercial reasons, so can just say "no" to an idea if I want. That said, I've found that many ideas which didn't seem interesting to me when an end-user first proposed them become compelling once I think more about the operational pain (and it's almost always operational) they are experiencing.

Automatic backups to S3[1] was such a feature. I was sceptical -- "just run a script, call the backup API, and upload yourself" was my attitude. But the built-in support has become popular.

[1] https://www.philipotoole.com/adding-automatic-s3-backups-to-...
The fittest humans are those who cooperate with and who can be at peace with their neighbors.

The only thing that conquest brings is death, suffering, and broken men.

Prosperity increases in areas and populations that are peaceful and decreases in populations and areas that are not peaceful.

I understand the people who fail to see this, and I pity them.

A diet too rich in documentaries on WWII and the Roman Empire leads to intellectual malnutrition.
How well fundamented is the opposite belief, that seems to be held as true by nearly everybody? I know the link to skin cancer is well established, but I don't know of any broad study about all causes of mortality.

Yes, do not take this study as true. But also, look at your priors.
You mean hundreds if commuter rail lines because the population isn't centered around dense points that make rail useful.

We're in a catch 22 trap that will cost trillions and likely a century to get out of.
A network slug is very much like a data circuit breaker.

https://john.kozubik.com/pub/NetworkSlug/tip.html
They don't have to disclose specific of a deal.

"We depend on effectively operating with third-party mobile operating systems, hardware, and networks that may make changes affecting our operating costs, as well as our ability to maintain our Platform which would hurt our ability to operate our business.

For the three months ended June 30, 2024, 30% of our revenue was attributable to Robux sales through the Apple App Store and 16% of our revenue was attributable to Robux sales through the Google Play Store. Because of the significant use of our Platform on mobile devices, our application must remain interoperable with these and other popular mobile app stores and platforms, and related hardware. We are subject to the standard policies and terms of service of these operating systems, as well as policies and terms of service of the various software application stores that make our application and experiences available to our developers, creators, and users. These policies and terms of service govern the availability, promotion, distribution, content, and operation of applications and experiences on such operating systems and stores. Each provider of these operating systems and stores has broad discretion to change and interpret its terms of service and policies with respect to our Platform and those changes may be unfavorable to us and our developers’, creators’, and users’ use of our Platform. If an operating system provider or application store limits or discontinues access to, or changes the terms governing, its operating system or store for any reason, it could adversely affect our business, financial condition, or results of operations."
Cloverleaf intersections have really poor overload behavior. They're fine in low traffic areas, but in places with high traffic, the crossing streams of traffic cause cascading backups.

Stack interchanges increase acheivable throughput because you can often build enough road to allow backups for one direction to not impinge on the other flows.

It's also easier to build effective signage so there's fewer surprise lane changes.
> can I interest you with an HYSA paying 5%

Don't plan a retirement around a HYSA at 5% because those rates will go back down.
TBF LiFePo are used more for EVs, at least the ones that aren't off-brand, and LiFePo isn't nearly as hazardous as generic 'Li-Ion' which usually means LiCoO
The Curious Case of Radioactive Apartments (2020)
>> At my previous job if something went down on our site, it was a four alarm fire, war room, and all hands on deck to get it resolved or heads would roll. It was so dysfunctional to work somewhere when something broke or stopped working, nobody was in any hurry to fix it. Several times I just thought, "Is this what they mean when they say "the inmates are running the asylum""?

That's funny, because reading your first sentence I was thinking that was the dysfunctional place. I had a boss that would take problems from 0 to 10 in a flash, when the problem was really a 4 or 5, and it really was not a great environment.
> Extensions can add the following capabilities to Zed: Languages, Themes, Slash Commands

This is a great start but it's far from what most would accept as "programmable" or richly extensible.
yeah that seems cool! I'm a little skeptical of pure functional programming with no escape hatch. I rarely need the escapes in Rust but when I do, I really do.