MurphyA/hacker-news huggingface dataset:
by kelnos | 2026-01-10 20:35:53+00:00
Not quite. The statement was that the C15 is safer for people outside of the car than the modern SUV.

If I had to get hit by a car, I'd much rather it be the C15 than the modern SUV. I'm much less likely to survive the SUV hitting me.

Now you can make the argument that other modern safety features make it less likely that the modern SUV would even hit you in the first place (given automatic emergency braking, etc.), and I suspect you might even be right, but I think that requires some data to back it up.
by crab_galaxy | 2026-01-10 20:36:11+00:00
Yeah you’re right. However, resource gaps can be filled by things like volunteer librarians, teacher wishlists/donations, field trips, strong PTAs, etc..

This is common in my city. It’s a big underfunded school district with a handful of coveted, well supported schools. I’m assuming it happens elsewhere in America with the success of platforms like donors choose.
by apparent | 2026-01-10 20:36:29+00:00
> Unless you get a full ride you probably should start at community college. You can then transfer later and generally you'll have a better variety to choose from.

This does not make sense if you (like most UC students) are in-state. You're right that it's easier to get in as a CC transfer, but you'll miss out on a lot of the bonding experience that happens as freshmen. And if you want, you could always transfer from one UC to another, if you're looking to upgrade your diploma from Irvine to LA, for example. It's probably worth it to have the better network of the freshmen you met at Irvine rather than going to a CC in LA for two years. It would be cheaper, but networks can be incredibly valuable.
by cyrialize | 2026-01-10 20:36:40+00:00
I've been using Org Mode for organizing my life in plain text for the past 10 years now.

Beorg on iOS [0] makes it great. I've also started using things like org-ql [1] and org-super-agenda [2] to make me even more productive.

I also have a daily log org file I use at work. It helps me keep track of what I need to do and what I've done. It makes yearly reviews easier as well!

[0]: https://www.beorgapp.com/

[1]: https://github.com/alphapapa/org-ql

[2]: https://github.com/alphapapa/org-super-agenda
by eecc | 2026-01-10 20:37:10+00:00
You do realize that the debt/gdp ratio is a ratio?

If you cripple the gdp through austerity policies (killing borrowing to chase the “responsibility dream”) the fiscal multiplier becomes a ruinous curse.

Of course, pissing money into a spending bonfire, driving inflation with excess liquidity, isn’t going to help; bit it’s just as bad as crippling growth by holding it back for lack of capital injection
by asdff | 2026-01-10 20:37:12+00:00
People had CDs, tapes, radio for their long trips before spotify and podcasts. It was actually easier in the old day because all this stuff was more or less curated for you; record store stocking the popular music that would actually sell, radio dj playing the popular songs, various genres represented, even "underground" radio, same with tv and video stores, just turn it on and it plays no friction, vs the modern streaming era where "what will I watch?" or "I binged that already, now what?" is such a dilemma and source of friction since the algorithmic recommendations are usually trash, or pushing the first party slop content of the day the service doesn't have to pay a license for.
by vga42 | 2026-01-10 20:37:17+00:00
>Can anyone tell me an actual reason to use Org mode over Markdown?

I think the reason in general is simply that org-mode is better, i.e. more carefully defined. I'll mention the things I like more specifically:

- Link syntax in markdown is something I never remember how it goes. Org-mode is [[link][description]].

- Text styles in org-mode make more sense. In markdown, * is used for italics, * for bold. Additionally, * is for lists, which might be confusing.

- Markdown blocks are freaking awful and seem to work by luck more than anything else. Code blocks even worse -- they are made by indenting 4 spaces or a tab! I couldn't come up with a worse way to do that even if I tried. Org-mode has clear #BEGIN_xxx / #END_xxx blocks.

- Markdown has a weird YAML frontmatter syntax. Org-mode has keywords which can be attached to the whole document and properties, which can be attached to every heading.

- Org-mode has tags.

- Org-mode has timestamps.
by elbci | 2026-01-10 20:38:47+00:00
You are selling ceiling fans to preppers. There are regular ppl who use regular homes with air conditioners (google/telegram/whatsup) and preppers who use underground bunkers with sealed carbon cycle systems and micro-whatever bio-nano filters (mesh radio networks, torrent deaddrop files, whatever p2p solution) and then there's you selling ceiling fans based on the same vulnerable old grid and NSA sensible single point of failure website.
by DrewADesign | 2026-01-10 20:38:59+00:00
I'm not like a drone-i-ologist or nothin, but from what I gather, both sides have gotten really good at detecting and jamming drone communication in the Ukraine/Russia conflict, which would probably make that a tough use case. I've read that the newer attack drones are controlled by a reaaallly long, reaaalllyy thin fiber optic line!
by agumonkey | 2026-01-10 20:39:07+00:00
I had similar impressions with multiple setup:

- dell p2 300 win95
- early core duo era with linux 2.4 (some kali linux image)

in both cases there was something very odd, the crude os design (no parallel systemd etc), gui toolkit and desktop environment (no compositor, glitchy) wasn't an issue and the low amount of lag felt very good. it's the same feeling when driving 90s cars, the drive feels directly connected to the whole, it's cruder but it feels better

and saying this as a fan of recent linux kernel and systemd parallelism with the crazy cpu over ssd speed.. i was utterly surprised
by sparky_z | 2026-01-10 20:39:18+00:00
I've tried to research this, because I am honestly trying to understand it. It has been surprisingly difficult to verify what the current parental rights are for Canada Post. The most recent info on the union website is dated 2004, but I think the same basic agreement is still in force? Correct me if I'm wrong.

https://www.cupw.ca/sites/default/files/legacy_imported_docu...

Also, it's worth noting that the Canada Post leave policy it's obviously the result of a union negotiation, not a blanket government policy that applies to all jobs. The post office is the epitome of a stable job that doesn't change much, so is probably optimally able to offer longer parental benefits.

Anyway, it says:

> All pregnant employees are entitled to 17 weeks of unpaid maternity leave.... If you have worked for the post office for six months of continuous service, and if you are eligible for the Employment Insurance (EI) maternity leave benefits, you are eligible to receive paid maternity leave.... EI [government program] pays a basic rate of 55% of your average earnings, up to a maximum of $413 per week.... This amount is topped up with the SUB [Supplementary Unemployment Benefit from the union contract] to 93% of your weekly wage.

> If your spouse is giving birth, you are entitled to one day of leave with pay.

> Parental leave [without pay)] can be split between two parents, but the total number of weeks must not be more than 37. The total number of weeks or paternity and maternity leave must not be more than 52 weeks.

That's a far, far cry from 3 years of leave, much less 5. Like I said, it may be outdated, but I can't find any indication that it has changed, and I don't want to spend my whole day on this.

Where are you getting this 5 year number? 5 years sounds truly insane and I have real trouble believing it. Even assuming that's split between the two parents, can a family have 6 children 2.5 years apart and spend a continuous 15 years of their careers on leave?
by okrad | 2026-01-10 20:39:26+00:00
Anecdotally, I agree with the parent comment.

Lived in the same general area (just outside a major metropolitan area) where I use DarkSky and now Apple Weather app.

DarkSky has better data vis and more reliable prediction. Apple Weather consistently over predicts snow fall amounts and many times I’ve had to use the Feedback to correct it on current conditions (e.g. raining when it says no rain or vice versa). I believe DarkSky had the same feedback feature but I never needed it this much.

Most of the time AW is fine but it’s less good to the point I’ve considered alternatives.
by Joel_Mckay | 2026-01-10 20:39:30+00:00
> 1. I scrape the whole internet onto my disk.

This is illegal under theft-of-service laws, and a violation of most sites terms-of-service. If these spider scapers respected the robot exclusion standard under its intended use-case for search-engines, than getting successfully sued for overt copyright piracy and quietly settling for billions would seem unfair.

Note too, currently >52% of the web is LLM generated slop, so any model trained on that output will inherit similar problems.

> 2. I go through the text, and gather every word bigram, and build a frequency table.

And when (not if) a copyrighted work is plagiarized without citation it is academic misconduct, IP theft, and an artistic counterfeit. Copyright law is odd, and often doesn't make a distinction about the origin of similar works. Note this part of the law was recently extended to private individuals this year:

"OpenAI Stole Scarlet Johansson's Voice"

https://www.youtube.com/watch?v=YhgYMH6n004

> 3. I delete everything I scraped.

This doesn't matter if the output violates copyright. Images in jpeg format are compressed in the frequency domain, have been around for ages, and still get people sued or stuck in jail regularly.

Academic evaluation usually does fall under a fair-use exception, but the instant someone sells or uses IP it in some form of trade/promotion it becomes a copyright violation.

> 4. I use that frequency table

See above, the how it is made argument is 100% BS. The statistical salience of LLM simply can't prevent plagiarism and copyright violations. This was cited in the original topic links.

> 5. I profit from this text generator.

Since this content may inject liabilities into commercial settings, only naive fools will use this in a commercial context. Most "AI" companies lose around $4.50 per new customer, and are a economic fiction driven by some very silly people.

LLM businesses are simply an unsustainable exploit. Unfortunately they also proved wealthy entities can evade laws through regulatory capture, and settling the legal problems they couldn't avoid.

I didn't make the rules, but do disagree cleverness supersedes a just rule of law. Have a wonderful day =3
by compsciphd | 2026-01-10 20:39:47+00:00
I'm not arguing if the S&P is a better indicator of the US economy than USD or not.

What I'm asking, to me it seems if the USD drops in value, but everything else stays the same (i.e. GOOG hasn't lost any real value if measured in any other currency for instance). I'd expect GOOG to rise in USD terms (as its value has stayed constant).

Why wouldn't this be true (yes, there are a bunch of assumptions/complexities, and perhaps those assumptions/complexities break the argument), but at a very simplistic level is what I said wrong?
by wobfan | 2026-01-10 20:40:01+00:00
But Windows is made for the big masses. It's definitely a good thing that Microsoft forces Auto-Updates, because otherwise 95% of people would run around with devices that have gaping security holes. And 90% of these people are not being a firewall 100% of their time.

Side effect unfortunately is that they are shoving ad- and bloatware down your throat through these updates.

But that is, because Microsoft does not care about the end user at all. It's not the fault of auto-updates.
by tartoran | 2026-01-10 20:41:01+00:00
I've been a Notepad++ user for about 20 years. It's a pain to use it in Win11 as they force their crappy notepad on context menus and such. It's still usable (with some registry changes) but annoying that they're doogfooding their own an keep on changing settings on updates. I'm only using Win11 at work, I'm done with Windows and MS otherwise.
by apparent | 2026-01-10 20:41:19+00:00
One of the charts in TFA shows a discontinuity in admissions rate around 75% UPP. This means that if you send your kid to a HS that is underserved when you enroll, but drops below the critical 75% threshold because too many other families are doing the same, then the school could fall out of the strong-benefit category.

The kid would still have a better chance than if he applied from a high-performing school, but it wouldn't be as much of an advantage.

Socially, I'm guessing the kid could face some challenges because (1) other high performing students might not like him because he's a curve-breaker, (2) teachers would know what the family was up to and could view it as distasteful, and (3) if the student went to UCSD or another school where this is a well-known hack, there could be stigma for having gamed the system/being less-smart.
by testing22321 | 2026-01-10 20:41:51+00:00
> The similar (but not identical) US model is the Tacoma.

This is a very common misconception.

At no point have the hilux and Tacoma shared any parts. Not engines, transmissions, frames, breaks, axles, wiring or anything interior.

The hilux is a small efficient turbo diesel with plenty of torque. The Tacoma is an anemic gas V6 that gets horrible mileages.

The Tacoma is significantly larger, and has a lower payload.

The hilux is an actual utility work vehicle, the Tacoma cosplays as one.

I’ve lived in Australia and Canada for 20 years each, driven many models of each many tens of thousands of kilometres.
by NetMageSCW | 2026-01-10 20:42:04+00:00
And I would say there is no way to ask that question in good faith. (Tedious proof by cases left as an exercise for readers.)

The correct question would have been, does anyone else agree with the statement.

In this particular case, the amount knowledge needed (of e.g. Lean language, math and Erdos problems) means any credible statement about the difficulty requires an expert.
by lmeyerov | 2026-01-10 20:43:25+00:00
Was guessing that, coding tasks are a valuable but myopic lense :)

I'm guessing a self-updating plan there is sufficient. I'm not actually convinced today's current plan <> todolist flow makes sense - in the linked PLAN.md, it gets unified, and that's how we do ai coding. I don't have evals on this, but from a year of vibes coding/engineering, that's what we experientially reached across frontier coding models & tools. Nowadays we're mixing in evals too, but that's a more complicated story.
by josephg | 2026-01-10 20:43:46+00:00
The new glass look is just so bad. It feels cheap, like a child’s toy. And performance is worse as a result.

I’ve turned it off on my phone, via the accessibility settings. But it’s clear Apple doesn’t test the UI layout much with the new glass look turned off. Lots of controls are subtly misaligned now. I regret updating.

I have a Linux workstation. On Linux, nobody has the power to foist new ideas - good or bad - onto all users. All the arguing and bike shedding is one of Linux’s big weaknesses. But it’s also a huge strength. The desktop experience hasn’t gotten worse over the last 20 years like it has on windows and macOS. Programs start more or less instantly, as they should on modern hardware.
by kosolam | 2026-01-10 20:43:56+00:00
I was having strange slow-loading issues today again, checking in the developer tools I was surprised that Cloudflare injected JavaScript code into our website even though I disabled these features.

Pretty sure you are breaking many laws by doing this.

And, after disabling Cloudflare proxy the strange slow-loading issue were gone. I never saw the website loading so fast before.
by resumenext | 2026-01-10 20:45:16+00:00
Excellent point about CC’s. The downside is that instructor quality varies considerable both within and between CCs, and many students drop out or are not provided with adequate guidance in terms of GE requirements and transferability.

In terms of costs of UC other than Berkeley, (Davis, Cal Poly, UCLA, etc…) 16k in current times is a great bargain especially given the pipeline to grad school which is great even at non-Berkeley UCs.
by ronsor | 2026-01-10 20:45:43+00:00
It's true that GPLv3 covers patents, but it is still primarily a copyright license.

The tokenizer's tokens aren't patented, for sure. They can't be trademarked (they don't identify a product or service). They aren't a trade secret (the data is public). They aren't copyrighted (not a creative work). And the GPL explicitly preserves fair use rights, so there are no contractual restrictions either.

A tokenizer is effectively a list of the top-n most common byte sequences. There's simply no basis in law for it to be subject to copyright or any other IP law in the average situation.
by aleph_minus_one | 2026-01-10 20:46:20+00:00
> Why accept candidates that will ultimately go elsewhere?

Idea: When you apply for a college, you have to prepay for the first semester. If you get admitted, you have already paid for the first semester. If you get rejected, you get this advance payment back. On the other hand, if you get admitted, but decide to go somewhere else, you loose money.

This should give the university a strong incentive not to reject strong candidates that will go somewhere else - quite the opposite: if you admit such a candidate, but the candidate goes somewhere else, the university earns even more (the semester fee without having to provide any service for this money).
by tux1968 | 2026-01-10 20:46:30+00:00
This is a really well done talk, with a very interesting peek into how the port is going. But beyond that, it's also a great example of how to give a technical talk in general, walking the line between bringing the uninitiated along, without talking down to anyone; all the while providing truly useful (and new) information. And kudos too, to whoever recorded the audio and visuals, and posted them for us to see -- if only all tech talks were recorded this well!
by zozbot234 | 2026-01-10 20:46:35+00:00
TLA+ is generally used to specify a "toy model" of some complex distributed system. It's not intended for end-to-end proof, for that you'd just use Coq/Rocq or Lean itself. Lean is certainly expressive enough, but you'll have to translate the time and non-determinism modalities of TLA+ as part of the Lean development.
by Aurornis | 2026-01-10 20:47:16+00:00
It’s interesting how many of the descriptions have a distinct LLM-style voice. Even if you hadn’t posted how it was generated I would have immediately recognized many of the motifs and patterns as LLM writing style.

The visual style of linking phrases from one section to the next looks neat, but the connections don’t seem correct. There’s a link from “fictions” to “internal motives” near the top of the first link and several other links are not really obviously correct.
by theturtle32 | 2026-01-10 20:47:32+00:00
I love it conceptually, but I can't get past the abject failure of the right edges of boxes to be properly aligned. Because of a mishmash of non-fixed-width characters (emoji, etc.), each line has a slightly different length and the right edges of boxes are a jagged mess and I can't see anything else until that's cleaned up.
by pontussw | 2026-01-10 20:47:59+00:00
Nice to see how much you've developed Sunsethue over the last two years! I remember I built myself some custom alert logic back with your API even before the public launch :)

A year and a half or something later.. I recently started a project of my own trying to bring all "weather dependent" photo opportunities together in one place, if you wouldn't mind I would be happy to experiment with bringing Sunsethue data to https://photoweather.app - your prediction model is certainly a lot more sophisticated than mine and it would be very cool to offer that
by Workaccount2 | 2026-01-10 20:48:13+00:00
You said enrolling in insurance was a choice. If everyone with a BMI under 22 who did at least an hour of cardio a week had their own health insurance club, they would be doing excellent with cheap premiums and great care, while everyone else drowned in medical debt as their plans collapsed.

The choice right now is all or nothing. There is no choice for healthy people to only share a plan with other healthy people. If there was, everyone else, especially the least healthy, would be totally screwed.
by jauntywundrkind | 2026-01-10 20:49:09+00:00
It's great that we are already in such a strong spot! I'm also excited for how LLM's can help folks administer & setup systems.

There's still a lot of folks who bounce of setting up this or that thing that requires editing some config file. We're really good now about making most things pretty well UI'ee up, but Linux is such a malleable platform (complementary): LLM's decondtrain what users can do from what UI has been built. That's super exciting.

Step 1 of folks being able to use Linux as a desktop is going pretty well these days. With some AI hope, I hope folks get more and more enticed into setting up some devices. Once you're up with TailScale and have a service or two deployed, it can be very addictive to keep going. LLM's can make setting up & customizing the desktop easier, & they can help operate & admin services too. Strong hopes users will have much more agency, with where we are going.
by yreg | 2026-01-10 20:49:38+00:00
If you are willing to wing it, 6£/mo address from https://www.ukpostbox.com provides you with a document that Apple accepts.

You won't be able to actually read the mail though, so depends on the seriousness of the project. If it's an actual business then best get a proper business address.

Or at least get the higher tier where they scan your mail and send it to you.
by tennysont | 2026-01-10 20:49:40+00:00
So, purely for example:

When you run VS Code, it spins up a local language server that is capable of making code changes. That is how refactoring python works in many editors (including VS Code).

A website that you're browsing could potentially send requests to this server asking for code to be inserted that fully compromises your device. What keeps us safe?

- maybe the website is only allowed to send GET requests, not PUT requests, and maybe the language servers that you're using are all "hardened" so that they will never permit mutations via any get requests, and never have a misconfigured CORS header

- the website has to guess the correct port and the correct language server with a known vulnerability

- any website doing this on a large scale would likely get the language server patched and the website on a block list

- there might be other safeguards that I'm not familiar with. For example, I believe that Chrome disallows this by default

So now, here's my frustration: these two statements seem hugely at odds with each other:

> I'm ok getting pwned every few decades if the tradeoff is never worrying about this shit.

> (i will say putting a device not running open source software/firmware or something very locked down like a phone on your LAN is insanity, i could never)

I'm ok with a person who makes either statement. I'm also ok with a person who makes the first statement, and also wants their LAN locked down. However, I do not feel as though the a LAN ever needs to be locked down unless a person in running a server on the LAN network. Personal devices (like laptops and phones) are plenty capable of resisting malicious networks by default (coffee shops, university wifi, etc). What else is on a LAN?

> mind virus it's the paranoia all security people get

I generally agree with you, but I feel as though I am the one who has accepted that personal laptops need to handle malicious networks, and I'm generally comfortable with that. I don't worry too much about putting IoT devices on the same network as my personal laptop, nor about connecting to coffee shop wifis.