skysight-inc/HackerNews huggingface dataset:
Independent journalism isn't "whatever journalists want". It means unbiased. Endorsing candidates is by definition biased. They were corrected in their ways because the editorial board became too biased.
> While I’m doing that, I sometimes encounter a word or phrase that just doesn’t sound right to me but that I can’t think how to fix. In those cases, I give the LLMs the original and draft translation and ask for ten variations of the problematic sentence. Most of the suggestions wouldn’t work well, but there are usually two or three that I like and that are better than what I could come up with on my own.

Yes, coming up with variations that work better (and hit the right connotations) is what I used the machine for, too.
We shouldn't, that's the point! At least not in mathematics, programming is a different story. It's perfectly fine to have type of all integers alongside type of all squares and types that only contain number 1 or number 1729.

Relations of these types will then reflect the relations of their respective proofs. There is no need to consider "proof equivalence" or other kind of proof properties. That's already accomplished by studying types themselves.

The choice of types already reflects what we want to study.
Much like the evolution of programming practices in the age of LLMs.
You 'murican? Anyway, you feel closer to the machine with a good manual (e.g. MX-5), it's for sports cars having the pleasure of driving as main purpose. It's also cheaper, lighter and more reliable.

Auto should be used for all the other cars (including performance cars, where you want your mind focused on stuff other than shifting; true sequential is king there, though).
What about like just readable fragments of materialized views that were encoded into the messages themselves. So that a sharp local context and a blurrier larger context could be reconstructed from any given message. Sort of like a Mipmap. And with maybe 10% of the messages in a thread you could reconstruct a fairly accurate representation of the whole thread, at least good enough to run a search on. Every client could serve as a relay that stored its own threads and a constellation of associated mipmaps, and, if some were missing messages, it would be obvious which other clients needed to be checked for the missing portions the next time they logged on. Old/archaic data could be warehoused by clients that chose to do so. No central servers at all, you just crawl client to client looking for the connections, and build your own graph based on what you're looking for.
This is a paper owned by a billionaire. What ludicrous proposition that this is about independent journalism!
easiest is buying a table top in a DIY store and get it cut to the size you want. my local DIY store has sizes up to 100 cm x severalMeters.

most desks are only 60 or 80 cm
You can - but not on the level of a single developer and you cannot use those measures to manage productivity of a specific dev.

For teams you can measure meaningful outcomes and improve team metrics.

You shouldn’t really compare teams but it also is possible if you know what teams are doing.

If you are some disconnected manager that thinks he can make decisions or improvements reducing things to single numbers - yeah that’s not possible.
the IRS and HMRC have very long arms.
This is my experience. I’d love to see some full streams of people building whole useful apps from scratch with an LLM, does anyone have any good examples?
Thank you!

Reclaiming memory is orthogonal to unikernals. It's a concern of the VMM, and Firecracker does support this through the balloon device: https://github.com/firecracker-microvm/firecracker/blob/main...

Now, the unikernel helps us consume less memory, which is a good place to start :-)
> How can an algorithm determine whether content is political or not?

For starters, cross-referencing it with popular propaganda talking points. Smear campaigns are a dead giveaway, and adding two or three topics should be enough to cover the majority of propaganda posts.

I'd argue that just having an effective anti-bot policy is enough to render this a non-issue, but apparently Elon Musk prefers Twitter to be a Kremlin bot sandbox.
“In the U.S., governmental global weather prediction is spread over FIVE efforts:

NOAA

The US Navy

The US Air Force

NASA

U.S. Department of Energy

Thus, scientific and technical talent and computer resources are diffused over five groups, greatly undermining progress.“

I suppose if Elon has his way, the overlapping functions from these are on the chopping block.
Works well for us nonetheless, also on more complex things. It's not worse than most (including seniors) humans I worked with in the past 40 years, but it is faster and cheaper. On HN it is sometimes forgotten that by far most programmers do not like it; they need money. If you see what comes out of them, you have to puke; yet it's running billion$ businesses and works surprisingly well considering the bad code quality.
EILSEQ for \n finally, but why not for unicode confusables? Path names are identifiers, and as such need to be identifiable. Meaning stricter rules than just buffers (not talking about strings).
It's about mechanical empathy and greater control. Mechanical empathy is where you just really know a machine with character, and know how to handle its foibles, and it's like an extension of you. Where earlier automatic transmissions were less efficient, there was greater efficiency to be had from a manual transmission, but since dual-clutch automatics, that's less true. Even So, an automatic transmission can't know what you're thinking (yet), and so can't down/upshift when you want it to.

It's like running Linux. At some point it's just another OS, so what difference does it make? And for some, it doesn't make a difference. For others, having more control, and being able to dig into the guts of a desktop Linux system and replace whatever you want let's them feel more connected to the computer, making it less of a mysterious box that operates on magic and black smoke, and more of a predictable machine.
Ok thanks for explaining :-)
The article does mention Toyota’s one.

On the point about manual transmissions (or simulations thereof) not being “useful”, I think you’re approaching it from the wrong perspective. The people that want them enjoy using them, not unlike how horse riders like riding horses. I guess you could say that horses are “useless” too since cars exist, but that would be missing the point.
Dunno, seems the opposite. Dyson are plastic, don't last long, and generally aren't serviceable.

Apples have been improving repairability, their laptops have many replaceable parts, and generally last longer than PCs.

Compare new price / used for 4 years old price on apple vs any PC. In my experience used apples age well, are reliable, still get years of OS updates, and general age better than PCs.
I wonder why the dst transition hours are encoded in local time. Wouldn't it be easier to do it in UTC? There is no need to differentiate between the same hour before and after change then.
And “packet” loss!
now do it again, and this time see where your post
on ranking posts,ranks
Personaly,I find lauding the dead, and dead past to be some how objectionable. Though I suppose that it is the business of our so called Ai, mining the dead past, hoping to come up with something better than frankenstien's zombie corpse.
It is an insurmountable limitation, and dangerous
I think as well, the past is that ultimatly perfect thing, its absolute imutability, and totality, as it is all there, to pick and choose
from such a thing is brazen indeed.
I cant help but imagine a picture of your $4.80
actualy bieng consumed in a bed of fluidised coal,
which in fact it was.
In a couple of years time I don't see why AI based tooling couldn't write Redis? Would you get a complete Redis produced with a single prompt? Of course not. but if extreme speed is what you want to optimize for, then the tooling needs to be given the right feedback loop to optimize for that.

I think the question to ask is what do I do as a software engineer that couldn't be done by an AI based tool in a few years time? The answer is scary, but exciting.
Yep, there's no performance x86 CPUs on the market with ambitious GPUs, only laptop chips. Games are optimized for discrete GPUs, Apple didn't have that software inertia to deal with.
> This is an honest question for people still using X/Twitter and yet complaining about it: why?

I agree. Just stop using it already. What's the value of subscribing to a Kremlin bot sandbox? Sometimes these complaints just sound like attempts to keep people engaged after clearly identifying the elephant in the room.
Isn't that more a statement that you're lucky enough to live somewhere that you don't need them? The real question is how many home invasions would you put up with before hardening your security, in more ways than just bars on your windows?
> It's 3 years old in a field that sees a lot of work

Including generational ZGC, kind of the holy grail of GCs.
>where programmers are learning this idea:

>that writing code fast is ideal.

At places that pay them.
Even ChatGPT is rubbish. Try to figure out something you couldn't find in a book and it will end up contradicting itself before long. If it gets it right that just means you could have found it in a book. I've been immersed in the internet my whole life and I still think books are the best source of knowledge. Curation and editing are what we need more of.
> The sharpening process takes some practice to get good at, particularly if you start peening it as well.

I wish someone invented an easier and safer way to sharpen a scythe. If you make an error, it's pretty easy to cut yourself pretty deeply, and even cut into finger joints (did it one time, cut was deep but so clean it healed essentially in a day). "Dull" scythe is still as sharp as your average knife. Sharp scythe is sharper than a razor.
> Apparently Teri Garr got MS in the late 90s

Mid-early eighties, according to either the article linked here or the one in the other HN post about it. IIRC.
*Slaps proton*

These things can fit so many nines of reliability.
in a negotiation where you have experts with good intuition for costs and practicalities on one side of the table and a non-technical failing-upwards-megalomaniac-kid on the other side, i doubt that's a sensible strategy
Many of our CI/CD jobs are stuck in this state. Good thing is we can run these locally or from VMs as most have Makefiles with straightforward workflows. Only thing might be explaining few things to our interns :)
Exactly, and LLM based tools can be very frustrating right now - but if you view the tooling as a very fast junior developer with very broad but shallow knowledge then you can develop a workflow which for many (but not all) tasks is much much faster writing code by hand.
From experience no AI solution is consistently making fault free code of any kind when you need more than a snippet.

Personally I have been making Velocity Proxy plugins for Minecraft where ChatGPT generates the bulk of the plugin and I fix all the incorrect imports, this is Java. My latest project was a whitelist plugin that uses Discord roles to allow/deny players to join.
Better fuel efficiency for one. And I, for the time being, am much better at anticipating the required power output and optimal gear 5-10 seconds ahead.

And of course for a lot of driving (highways) theres very little shifting anyway.
Yes I always think of this stat I read where the average successful business owner is currently working on their 7th business venture. The implication is then if you want a successful company you should speedrun 6 duds.
Ahh, the language diffusion model! You start with a word salad and end up with a Shakespeare's play.
You learn how to effectively prompt it in a way where the AI can fill in the blanks. Sometimes the prompt is just a couple of words because I know that the AI will interpolate the rest by the context (getting the context right is crucial). However, even when I need to be verbose and have to spend a few minutes on a prompt it gives me code that would have taken half a day to write manually. You also need to learn how and when to split work into chunks. It's much less intuitive than one would think and is completely different than how you would split it for a human. You get to "know" the AI and what it needs in order to succeed with a task.

LLMs have other problems though. The biggest problem for me is that it feels like I lose control of the codebase. I don't have the same mental mapping of the code.
I feel like there are not good quality hardware company nowadays.

Dell: the land of motherboard dying and dog shit trackpads.

Asus: dead soldered RAM.

Most BIOS: too long to boot, it's fucking 2024 what is your BIOS doing it needs more than 2s to boot? It was taking the same time to boot 30 years ago.

Every mouse: double click problem due to wrong use of the actuators.

And every hardware company has to try to cram some badly designed software and require you to create an account.
I'm going to steal "Greenland is part of the greater EU cinematic universe".
My first thought was "Teri G-something... _Frazer_'s Roz??? But naah, that's Teri Gilpin. Or Terri. Something like that.
Does it use brickognize underneath?
Jaywalking Is a New York Tradition. Now It's Legal, Too
The content warning styling may be reverted (its already done in `main`), and we are not aware of any performance issues with 4.3, it's in fact the opposite from all the feedback we got. I am really curious of what is happening here and asked the admin to provide more information.
> It's like running Linux.

To me it's more like "running your own-compiled GNU Hurd Kernel", probably on your own-assembled kit :D

Linux has very "tangible" use cases, far beyond wanting the machine "be an extension of yourself". No?
But, to stretch the analogy, this is basically a car poorly imitating the mechanical operation of a horse, and limiting its own performance to do so.
I can't tell what is meant by a "synthetic manual transmission"? They're writing about it in the same sentence as "fake engine noises" but I assume they mean something more than "gear stick that changes current sound track"?

The "obvious" option (short of putting a real manual gear box in the drive train?) is it just changes the mapping of accelerator position to acceleration rate so in first gear you accelerate faster than in fifth with the accelerator in the same place? maybe with some other silly gimmicks/limiters to force you to "shift" correctly?
Nah, the weirdest time zone is Africa/Addis_Ababa, which nobody in Ethiopia follows.

Instead the locals offset the time by 6 hours. So the AM cycle starts at dawn (i.e. 6am), and the PM cycle starts at dusk (i.e. 6pm).

https://en.wikipedia.org/wiki/Time_in_Ethiopia
Ask HN: PgQueuer Improvement Ideas – Where Should I Focus?
Hey HN!

A few months ago, I introduced PGQueuer here, a minimalist, high-performance job queue library for Python using PostgreSQL. The original post received a lot of insightful comments, and the discussions were invaluable. Since then, I've been improving PgQueuer, but now I'd love to focus on areas where it fell short.

I'm particularly interested in feedback from folks who tried PgQueuer but found it didn't suit their needs. What was missing? What specific issues or limitations did you run into? Were there pain points around performance, feature set, or implementation that ultimately made you look for an alternative?

I'm aware that there are many job queue solutions out there, each with different trade-offs, and I'd love to hear more about why PgQueuer might not have fit the bill for your project. Any constructive criticism or thoughts would be super helpful as I plan future updates and enhancements.

Thanks so much in advance, HN! Looking forward to your candid feedback.
I think it's same docker Inc. all over. A great open source tool but no viable business model.
Given quality of shopify platform and quality fo their support, Salesforce has nothing to worry about.
You’re the first person to verbalize how i feel about operating machinery, something I've always been unable to do and feel awkward about.

What are some hobbies you enjoy?
I'd like to know that rather than ignore their existence. I worked with companies that swear by Azul for huge workloads, I'm curious if that expense is still justified.
A manual transmission is fun. An automatic is boring.

With a manual tranny, manual brakes, manual steering, and manual suspension you feel connected to the car and the road, and it's just a joy. It's even more fun when you learn to double clutch the downshift, and work on doing a perfect downshift and entry into the turn.

With practice, you can drive a stick smoother than an auto, though most never bother.

The times I prefer an automatic are in stop-go traffic, and starting out uphill. I'd also prefer an automatic in a luxury car or SUV. But for a muscle car or sports car, stick all the way!

You can't win a drag race with a stick, racing auto trans will always shift faster. But there's no skill in the latter, and so it's no fun.

I recently took up dirt bike riding. I was repeatedly offered an electric bike, which didn't need shifting. Phooey. I wanted the gas bike with the manual shifter. And I was right, managing the engine and gear adds much fun.
I am kind of starting to doubt about the utility of unit tests. From a theoretical perspective I see the point in writing unit tests. But in practice I rarely seen them being useful. Guy A writes poor logic and sets in stone that poor logic by writing an unit test. Manual testing discovers a bug so guy B has to modify that poor logic and the unit test.

I'd rather see the need for integration tests and end to end tests. I want to test business logic not assert that 2 + 2 = 4.
Alcohol consumption abundant in the natural world, study finds
On highways i just use cruise control, for the rest shifting has pretty much become automatic for me.
Because automatics can feel slow and laggy depending on the terrain, because they can only respond to load rather than anticipate it. In the UK and EU there are lots of hills and narrow winding roads where you notice this the most; whereas if you are mostly driving on the flat automatic probably feels no different. It's also more noticeable in small cars with small engines (also more common over here out of practicality) where using the right gear at just the right time is more important if you don't want to end up stuck crawling up a hill.

Most EVs are single speed transmission due to the wide range torque curve, so manual vs auto is kind of a moot point for all but very high performance vehicles anyway... Which is why this honda thing is a total gimmick, i'd happily give up manual gearbox when there is no performance and efficiency difference.
Can you break down the analogy to a casual like myself? Genuinely want to be in on it as i enjoy driving and am always wanting to learn more linux to grasp a better understanding of OS’s
Maybe Elon Musk could launch a couple of his Starlink satellites into deep space and reduce that latency.

That or apply xkcd #303: https://xkcd.com/303.
> Yes, the M4 is faster (...)

I know a couple of iOS developers who recently switched to a M4 MacBook pro and they swear that in some frequent workloads it feels sluggish and slower than the old Intel MacBook pros. Being RAM-starved might have something to do with it though.

> but there's loads of mini PCs with decent CPUs, 32GB RAM and a 1TB of SSD storage for under $600.

I also add that, unlike Apple hardware, these miniPCs are built with extensibility in mind. For example, most NUCs from the likes of minisforum and Beelink ship with a single SSD but support multiple SSDs, with their cases also having room for SATA drives. They even go as far as selling barebones versions of their NUCs, where customers can then pick and choose which RAM and SSDs to add.
Unsure whats going on, but unable to add links to my question.

- https://github.com/janbjorge/pgqueuer

- https://news.ycombinator.com/item?id=41284703
With that particular "acronym", it's not it that's obtuse, but the reader who doesn't get it.
You won’t get better fuel efficiency unless your manual gearbox has eight (or even nine or ten) gears like the automatics have now. For example, BMW says that the manual BMW M2 does 10.0–10.2 l/100km and the eight-speed automatic does 9.6–9.8 l/100 km. It’s also slightly slower and has higher emissions (since it burns more fuel too).
Not sure why steam engine is written like it's some crazy reveal. It's the accepted way of doing it in most other fossile fuel plants, to the point that there's a saying for it - someone, somewhere X is boiling water so you can boil water. There are other designs that have been proposed, but I'm not aware of anything in production that takes heat and turn it into electricity at powerplant scale. Eg RTGs exist, but only if you need a computer power supply's worth of power for decades.
Not growing up in america I never understood what jaywalking was - I legit assumed it was a pedestrian crossing a freeway because nothing else made sense. Growing up I was taught explicitly to do what in the US was a crime: crossing between intersections because it is vastly safer than crossing at intersections.

Obviously, there's a more complex issue with jaywalking where it is a crime that is trivially easy to enforce in a discriminatory manner, and it creates endless opportunities for pretextual searches once NY's clearly unconstitutional stop-and-frisk laws were overturned.
Interestingly enough the EU thinks that strike is the responsibility of the company, they have to pay the compensation according to passenger rights (even after the rights have been reduced in the recent reform).

My insurance, too, does not pay in case of strike. Strike is seen as force majeure in many contracts.

I would agree with the EU. Employers have the bigger power on the labor market, it's their responsibility to keep working conditions good enough to avoid strikes.
Software freedom isn't about licenses – it's about power (2021)
>The fact that you think "change detection" tests offer zero value speaks volumes.

But code should change. What shouldn't change, if business rules don't change, is APIs and contracts. And for that we have integration tests and end to end tests.
Stick shifts are the original fidget spinners. I loved mine. I'd happily have another.
This reminds me of Hans Rosling’s talks about poverty and washing machines

https://m.youtube.com/watch?v=BZoKfap4g4w
Wow,interesting. But， the idea of storing the surplus electricity, it does raise a question about the energy consumption of storage batteries. i has been researching European home energy management recently, especially with winter approaching. Just share information. enjoyelec HEMS (Home Energy Management System). Use AI optimize energy usage in households. With features like real-time monitoring and intelligent control, it aims to reduce energy waste and potentially lower costs. Maybe can get some money from grid to pay from winter electicity bills.
Corporations are really good at paying people just enough money to fix problems in a suboptimal way. Actually I think that’s what they optimize for. Past a certain size they minimize costs for the “just barely good enough” solution in a microeconomic way. So if you’re selling to corporations it’s best to get down to brass tacks. Show them proof of how spending $DOLLAR_AMOUNT with you each month is going to practically guarantee them saving `$DOLLAR_AMOUNT * (1 + $MARGIN)` on their accounting books. That’s a much higher bar than “it looks cool and makes employees happy,” but the nature of business is that no C-suite could ever turn down such an offer.
If you like interesting words, this is skeuomorphism: incorporating features from older designs, where those features are now completely unnecessary.

https://en.m.wikipedia.org/wiki/Skeuomorph