skysight-inc/HackerNews huggingface dataset:
As someone learning programming with an llm, its 50-50 as to whether it saves or costs me extra time.

This is mostly because if i don't know that i'm asking for the wrong thing, the llm won't correct me and provide code that answers the wrong question and make things up to do that if needed.

Sure i learn by debugging the llm's nonsensical code too, and it solves my "don't want to watch a 2h tutorial because if i just watch the 10minutes that explain what i want to learn, i don't understand any of the context". But it's not much faster with the llm since I need to google things anyway to check if it is gaslighting me.

It does help understanding errors i'm unfamiliar with and the most value i found is pasting in my own code and asking it to explain what the code should do, so i find errors in my logic when it compiles but doesn't have the desired effect. And it will mention concepts i'm lacking to look them up (it won't explain em clearly but at least it's flagging them to me) in a way youtubers earely do.

Still haven't made up my mind if it is a net positive as it often ends up getting on my nerves to wait 10min for a fluff intro before it gets to the answer. Better than a 20min fluff video intro on youtube maybe?
ZFS snapshots with bootloader support (other CoW filesystem should also work).

For the specific purpose of shutdown, there has been a solution for decades: molly-guard.
Jonathan Haidt's Claims on Kids and Tech Crumble Under Scrutiny from Top Expert
This. In my very limited experience (i didn't write the code or specs), I've seen the runtime code find more bugs in the formal specs than the formal specs finding bugs in the runtime code.
Focusing behind is much easier because you can get yourself started by focusing on an actual object.
In the script it could look like:

One of the contestants in Squid Game fell into [AFFLICTION] because of a [FAILED ACTION], and several of them are there because of [AFFLICTION2] caused by [FAILED ACTION2].

Then you just find/replace for internationalization
The funny thing about the stars image is this is a common way to find asteroids, comets. It's not limited to just those. Only instead of a bunch of cross eyed astronomers, they overlay and align the images and do subtraction/difference filtering to see what's left. For comets/asteroids, the dot of interest will move between frames. Even just playing back the aligned images as a timelapse can reveal motion.
Actual title: "Exclusive: Meta kills DEI programs"
They are different claims.
All of those roles existed 20 years ago. UX issues are being ignored because the manufacturers do not care about a product that is sold at a loss, only the after-sales revenue that can come from ads and other content distribution deals.
What the Book Section Likes
Exactly. "Better options on the market"? Better by whose definition? Certainly not IBM's.

And it's naive to assume that other companies wouldn't have used the same tactics that Microsoft did.
The biggest barrier to setting up oTel for me is the development experience. Having a single open specification is fantastic, especially for portability, but the SDKs are almost overwhelmingly abstract and therefore difficult to intuit.

I used to really like Datadog for being a one-stop observability shop and even though the experience of integrating with it is still quite simple, I think product and pricing wise they've jumped the shark.

I'm much happier these days using a collection of small time services and self-hosting other things, and the only part of that which isn't joyful is the boilerplate and not really understanding when and why you should, say, use gRPC over HTTP, and stuff like that.
A Protein That Converts Fat-Storing Cells into Calorie-Burning Cells
Uncross your eyes! :-)

(They're saying that the person who send the contract was trying to trick them, and that they were upset when the trick was caught.)
California Fires Expose a $1T Hole in US Home Insurance
This book completely changed my understanding of how that era of space projects was developed. Before reading it I didn't know how involved the early astronauts were in actually developing the systems, spacecraft, and procedures.

As test pilots they were extremely competent technicians obviously, but they were expected to develop in novel individual domains to solve previously unexplored problems. By the end of gemini the first two dozen astronauts were each among a handful of world experts in their focus: things like orbital rendezvous mechanics, navigation, interface design, biomechanics of flight, radio telemetry. The program wasn't built for them to fly, to a huge extent they guided how it was built.
Laravel running natively on iOS in airplane mode (no web server) [video]
I love the quote you mentioned at the end. Do you remember the original source?
> Get back to me when the formal methods actually generate high quality code that cannot deviate from the spec

That would be useful but there is a fundamental issue: code is too specific. İn formal specification you usually don't specify that detailed but you specify the general behaviour of the system. So usually the specification corresponds to a lot of programs with subtle differences. That's why code a documentation falls short: you don't know what is intentional and what is just a random choice. It's simply too specific to describe high level requirements.

The other way around (verification of program with respect to the specification) can be more feasible to implement.
Vdr-2B-multi-v1 a multilingual embedding model for visual document retrieval
I think giving metrics and logging a location in a trace is really useful.

But I still dislike OTel every time I have to deal with it.
https://archive.is/7gTXT
Just train it on meta reasoning, ie train it on people discovering ways to discover. It's not really a big problem, just generate the dataset and have at it.
Weirdly enough, I have thought about this and to a degree, this can be interpreted as normalization of deviancy and normalization of danger.

Like, yes, I am a console jockey and prefer working in shells with a tiling window manager, keyboard only control and such. I will however always shutdown my workstation with the mouse (or trackball rather) through some UI of the desktop manager, or a desktop manager specific way.

Otherwise, I am normalizing the use of sla-dangerous commands like "shutdown". It takes that little bit of fear and respect out of those commands if you use them daily for no good reason or if better choices exist. Like, don't turn your alarm off by cutting it's wire and re-soldering it later.

And similar, if I need to reboot production systems, I'll much rather reach to some control interface of the virtualization, or use something like ansible to dry-run these dangerous tasks first.

Or it terrifies me how care-free some people are with "sudo rm -rf". I've caused myself so much pain with rm. "sudo -u app-user rm -rf" is right there, or even better, "sudo -u app-user find -name foo -print > stuff; cat stuff" and later some "xargs -i rm < stuff" and "xargs -v rm < stuff". Yes it takes a minute more to do, but it prevents ... accidents.
It's as complicated as you want, but it's not as easy as I want. The floor is pretty high.

I'm still looking for an endpoint just to send simple one-off metrics to from parts of infrastructure that's not scrapable.
And then we told ourselves it wasn't possible so we could sleep at night.
Starlink is significantly more resistant to graft than terrestrial service.

For the most part SpaceX is playing nice with regulators, but if Zimbabwe's government tried to extort Starlink users, SpaceX could just open up service and Zimbabwe could do absolutely nothing to stop them.
You can't walk away without repercussion, through, and from my understanding it becomes very difficult to attempt to collect the things you walked away from again. E.g. no one will give you a loan to start a business after declaring bankruptcy.
Great movie. I noticed the character Gogo Yubari in Kill Bill was actually stolen from Battle Royale.
Ask HN: How to approach first days on a new job as a senior PM?
Inspired by this post: https://news.ycombinator.com/item?id=42656184

I'm starting a new job in a few days as a senior PM at a ~1000 person company, but I've never been a PM before. My career path has been: PhD -> Engineer -> Founder.

My time as a founder has given me some unique perspective on products in my space, but I'm less experienced with the day-to-day of a PM in a medium sized company. My exposure has been second hand watching the PMs while I was an engineer. Any advice on how to help ensure things kick off well?
The heirloom I have is a small rug and it has horses and riders on it, with pointy boots and shoulder pads. So I'm guessing that's where the overlap came in but yes, this is it! It's "The Magic Pony" and the English version is online too!
> Hearing that these opinions get downvoted helps explain why these comments were judged

HN greys and hides downvoted comments. The commentary adds nothing.

An analysis around why would have been interesting. It isn’t what that comment did. Nor what most comments complaining about downvoting do, for the simple reason that said comment is almost always stronger without the whining.
There are 10 million empty homes [0] and ~700,000 homeless. No matter how you slice those numbers you still have more empty housing stock than homeless right now.

[0]: https://www.census.gov/housing/hvs/files/currenthvspress.pdf (page 4)
To add to what others have said, I would ask every person in my team what's the most important think I need to know.
> all we need to do to disprove this claim is present one pure culture.

Define "pure culture". This seems to be mostly different interpretations about what that means.

If someone says that no water is pure so this polluted water is fine, that is a fallacy.
Cool site! Love seeing what others have built using rails.

I've been working on a membership management platform [1] using Rails + Hotwire Turbo & Stimulus and I can't imagine how long it would have taken me using other frameworks around.

Want a rich text editor? Just use action text. Want document storage? Active storage is easy. Job queues? Mailers? Caching? Integration testing? All easy to do.

I love that Rails is "omakase", once you lean into the ecosystem it's great that most things just... work.

[1] https://embolt.app
I am an Android guy but this is one of the things that iPhone does much much better.
Man I just joined a new company, super disorganized like no ticketing, don't know what I'm supposed to do/when. I think my manager is new. Oh well I'm grateful for the job. I at least have self-awareness (like someone else mentioned below) about not sh*tting on everything existing. No PRs, No tests, Code barely works from master, no docs how to get started, that's the kind of environment I'm in so it's not like it's not warranted but yeah. There's freedom in it too that's nice but I'm not used to it (defined tasks).

Edit: side note, other thing I don't like about this place, everybody's so separated, there are community events like happy hour (beer on tap) but in general everybody's in their cubicle/area and only talk to their small team. Idk why I care but yeah. In the past I'd have buddies to chat with in slack/teams but right now it's just me and my manager/co-developer. That's a weird dynamic too when you aren't sure how friendly/buddy buddy you can be with your manager/co-dev.
Progress in Deep Learning: SGD Learns Parities Near the Computational Limit
Speaking as an old person who learned to code as a young teenager on the C64 (motivated in part by the ability to pirate games because I otherwise had no means to afford them), by the C64 era disk drives were a lot more prevalent than tape in my experience, at least here in the USA.

The C64 users of the time that I knew, including myself, were all using the 1541 floppy drive (keep the screwdriver handy so you can quickly pop the top off when it inevitably needs to be realigned because of how common it was for anti-piracy measures of popular games to knock the drive head around).

Still slow (but probably sped up by a 'fast load' cartridge if you were and avid user), but not quite as bad as the PET-era cassette tape situation.

And back to the main topic -- I played a lot of multiplayer Bubble Bobble on the C64 with my sisters and cousins. Enough that I can still easily recall the theme song decades later.
Maybe we are the opposite. As a kid, I could only do cross-eyed-focus-in-front-of-screen, but not "focus beyond the screen". Or a book at the time.

So I was able to see the 3D in Magic Eyes, but the 3D effect was inverted.

Today as an adult I am able to focus beyond the screen, but it's still much easier for me to do it cross-eyed.

I also got all the images in the post almost right away. But my eyeballs focused in front instead > _ <
Assessment in Computer Science Education in the GenAI Era
In a world filled with false bullshit, crating more false unchecked writing instead of educating yourself is not a benefit to anyone.
How about Tesla giving away his patents to Westinghouse for AC motors?
I don’t know that I disagree with the premise, but nationalizing anything during an administration that is key in denationalizing stuff, I just don’t see the current federal government, not maybe any of them being inclined to act in California’s best interest.
That list is great, but it’s not guaranteed to be free of false positives. We Use Rails also offers more granularity—you can see the exact technologies people are using.
This happens to me easily inside cars with these dotted-breathing roof interior patterns. (Edit: g “perforated vinyl fabric”)

Well, worse than easily - sometimes I cannot get back to normal and am not sure how far it actually is, because the nature of the pattern allows to re-lock at every few cm. I just don’t know where I’m really looking at unless there’s an irregular object nearby.
I was a Coherent User and lc was my goto file list.
I can understand why it's hard for some. I've landed on that wiki page a while ago and couldn't figure it out. Then found a similar thing on an itch.io page that was easier for me to figure out.

In these later examples (starting with the easy puzzle of the OP, and your 3d examples), I find that I do the process in two stages.

Unfocus my sight until the third image shows up in the middle at the correct size (as a blurry mess). Then try to focus the center image.
Whenever I switch android phones, I need to setup each app from scratch, unless is a google app.
> We serve everyone. We are committed to making our products accessible, beneficial and universally impactful for everyone.

The new(ly leaked) moderation guidelines might suggest otherwise...
a counterparty is the other person you're signing a contract with who sometimes lies to you and says they changed things when they didn't
> Who's the "vendor" for Linux? IBM?

There are countless companies and groups (but only a handful that serve the vast majority of users) releasing a version of Linux bundled with a GNU userland and other open source niceties, all designed to work together as a system. These are colloquially called "Linux distributions".
It’s my pleasure!
Maybe it's completely wrong, but I always thought about it as a dimension, and if you view time as the 4th dimension.

For example imagine just 2 dimensions. If you can only travel at the speed of light you could go at the speed of light in the x-axis, or at the speed of light in the y-axis. But if you want to go diagonally in both dimensions, you have to split your travel speed up between both such that when added together they don't exceed light speed.

If we view time as a dimension, then either you can stay at rest and travel through time at "full speed", or you can travel in the x, y, or z, axis at up to light speed, but in order to do so, you need to "give up" some of your traveling through time dimension. Such that your x+y+z+time "speed" do not exceed the speed of light.
Wouldn't that be considered a form of dumping if they offered it for free?
Please detail some of the specific things that Netflix influenced to make Squid Games less Korean.
Yes, correct, you’re restating the “risk/uncertainty” in the form of various concrete hypotheses. :)

Within the context of the original discussion around whether self-driving is here, today, or not, I think we can definitively see it’s not here.
Surprisingly, as I discovered earlier today, Gmail (still? newly?) supports sending plaintext-only messages!
Is that true? It seems that our eyes are mechanically capable of looking in divergent directions, what's the reason that we're not able to "uncross" them beyond looking straight ahead?
(Edit: Anecdotally I can confirm for myself that I'm not able to do it, so wondering if there's anyone that can.)
Yes. It sounds right, but many subtly wrong things often do. At the very least, a measurement of the effect strength would be nice. For instance, is a homogenous society a stronger or weaker signal than GDP?
I'm a PoC, and stuff like this reads extremely bizarre to me. On the one hand, you're acknowledging rolling back DEI initiatives in part because of the "political landscape," and that you were already committed to diversity on your teams. That's all well and good, but then, why the initiative in the first place? It seems to me you're doing at least 1 thing here, and acknowledging that such DEI program was performative in the first place. This kind of announcement seems extremely self defeating and unlikely to please anyone and piss off just about anyone that cares about this in any way shape or form, on either side.
Free, thorough resource for System Design questions
From their introduction

Our goal is to build the most comprehensive, concise, and free system design library on the internet.
This growing library is meant to be a resource for you to leverage as you learn about system design and prepare for your interview.
how I approached crossing: first practice just crossing your eyes and observing how every object has two images in this case and when you slowly “uncross”, they merge back into one. you can use anything in your surroundings.

then for the stereogram you do the same, observe the out of focus edges of the left and right pictures, then slowly uncross until left and right image occupy the same spot as though they were the same object. now its out of focus, but one (ok, actually three, because there were two, you “doubled” that by crossing, then merged two of them. but ignore the other two and focus on the merged pair)

sometimes you will merge images of the same picture, in this case you are just back at your normal vision, repeat :)

then you try to keep them overlapped and focus the vision, try to “believe” that you are really looking at a single object.
The wiki article on GNFS says:

> The size of the input to the algorithm is log2 n or the number of bits in the binary representation of n. Any element of the order nc for a constant c is exponential in log n. The running time of the number field sieve is super-polynomial but sub-exponential in the size of the input.

"Super-polynomial" means that the running time increases by more than the square.

In any case, even if the algorithm were just polynomial, the argument about squaring costs doesn't work out.
I didn't say free, they'd just allow signups and ignore local restrictions.
On point 4: keep these work-focused. Don't ask about families, hobbies, "what are you passionate about," what sports they follow, etc. Fine to discuss that if it they volunteer it, but as an developer I always felt put on the spot by those sorts of questions, even if they were meant with friendly intent.
Loved that book!
Sure they could. They could make it illegal to possess Starklink equipment within their borders, in the name of “national security” or whatnot.
Focusing in front can be done by focusing on an actual object too? Many people e.g. put a finger between them and the picture and then remove it.
(disclaimer: supabase employee)

OrioleDB continues to be a fully open source and liberally licensed. We're working with the OrioleDB team to provide an initial distribution channel so they can focus on the storage engine vs hosting + providing lots of user feedback/bug reports. Our shared goal is to advance OrioleDB until it becomes the go-to storage engine for Postgres, both on Supabase and everywhere else.

Happy to hear any concerns you have
You can just send metrics via JSON to any otlphttp collector: https://github.com/open-telemetry/opentelemetry-proto/blob/v...
I still don’t understand what OTEL is. What problem is it solving? If it’s a standard what is the change for the end user? Is it not just a matter of continuing to use whatever (Prometheus, Grafana, etc) with the option to swap components out?
I couldn't find a great source on the 85% number--it looks like the site seems to cite a Boston Consulting Group study that's recapped in this Harvard Business Review article: https://hbr.org/2009/09/the-female-economy. Looking at the consumer spending chart ~50% through the article, it says women account for 4.3/5.9 trillion $ of spending in the US, which is 73%--still high!
Yep, that's a problem, but it may have a silver lining: when the kill-switch kicks in, the remaining flyable drones would therefore be clearly assumable as non-innocents worthy of felony and/or misdemeanor charges, if the operators can be caught.
> US could end homelessness but would need to stop immigration and change the constitution which could force people in shelter

Immigrants are a tiny fraction of the homeless [1]. And we’ve tried criminalising homelessness; incarceration is forced shelter and incredibly expensive.

[1] https://pubmed.ncbi.nlm.nih.gov/30739834/
Like any new job in which you are unaware of the context or politics; with your mouth shut.
The Public Domain Image Archive
> Kenyan telecoms have also raised concerns about Starlink taking market share away from local companies that employ thousands of people on the African continent.

The point of infrastructure is to deliver services which enable productivity and quality of life for the broader population. Public services are not a jobs program. I will continue screaming this into the void until I turn transform into a pickle.
It's not about "calling GCC a C browser" but recognizing that a "document" and a "program" are not mutually exclusive. Is HTML as a static document really so different from cards with holes punched through them (literally paper documents)?
Meta have some of the most double speak I’ve seen.

They’ll say one set of virtuous sounding goals while completely undermining it in the same breath.

This is just them running with their tails between their legs before the new admin takes over.
Supreme Court Seems Poised to Uphold Law That Could Shut Down TikTok
"earned & lived experienced" - what is an earned experience? How does that differ from a lived experience?
I've ported a lot of services from kotlin to rust. In my experience the kotlin code is about half the size of rust, and has about 200 mb + 2*x the memory overhead. Kotlin code probably takes about half of the time (or less) to write compared to rust as well, but you're not quite as sure that is it bug free as the rust code once it's done.
disruptive behavior

A working mom with a 2 year old doesnt want to live next door to violent actors and drug dealers.

More specifically, I think the US is unwilling to distinguish between lawful and unlawfully behaving poor, and segregate them accordingly when providing shelter.
Meta-Analysis: Weight loss requires >150 minutes per week of aerobic exercise
There are a lot of Java programmers working on it.

(And some Go tbf.)
Isn't Starlink subject to frequency spectrum licensing in each country it operates in?