skysight-inc/HackerNews huggingface dataset:
This is a good idea, as evidenced by the existing fan wikis. People love to geek out cataloging / cross referencing their favorite worlds, and it’s not like the impulse itself is going to be limited to Harry Potter or marvel. For highbrow literary stuff though, expertise might be extra helpful and extra rare. Maybe the Stanford encyclopedia of philosophy might be a better collaborative model than fan wikis or Wikipedia. Idk for sure, but I assume contributing an SEP write-up might be somewhat more of a resume-builder than contributing to other places, which may help to incentivize experts to contribute.

The other problem is just copyright. People don’t expect fan wikis to include a lot of primary material naturally, but it would be frustrating to try and get new insight to literature while constantly pausing to find the source material. There’s lots of poetry in the public domain, but if you start thinking about recent stuff that’s worth a deep dive (say the postmodern canon) it gets harder.
Show HN: Using aerospace projects to teach maths [video]
Hi, my name is Aditya, and I’m working on teaching math through a mission-based approach. I’ve provided a video link that serves as a trailer for one of my challenges. Here’s how it works:

1. Understand the Challenge: In this mission, the goal is to design a UAV that can fly between mountains to avoid enemy radar.

2. Create Your Solution: Students create a basic design—either on paper or using Blender—while doing calculations. Topics like algebra, geometry, etc., come into play. Once ready, they upload their design.

3. AI Analysis: The AI analyzes the design, runs a simulation, and provides results in the form of expected output and points.

The aim is simple: give students a project to work on so they can practice math while also learning about aerospace and science.

I’m looking for feedback and beta users to test this approach. Any help or suggestions would be much appreciated!

About me: I’ve been working on game-based learning for the past three years. I’ve built a few games to teach topics like trigonometry and algebra, and I’m constantly trying to push the boundaries of how students engage with STEM topics.
How do they sandbox third party applications though… They can’t. Whoops the AI deleted your account…
While it has its fair share of quirks it is certainly not an "ultra-complex" language.
> Why would you assume iOS, not being the cheap option for a smartphone, would choose to emulate a cheap calculator?

i'd assume that because the ui for the ios calculator app is the same as the ui of a cheap calculator. not sure i would ever consider the platform that app is running on.
Show HN: Office Slacker
Needs even worse kerning for more nostalgia :D

Also ought to be paired with https://github.com/ocornut/imgui

I came up with a terrible pun shortly after seeing this: "Kern you feel the love tonight"
More wind-related art (including Bowen): https://winds.report/art.html
I would guess the idea is that in Rust the complexity is cheaper on a "per unit" basis so you can afford more complexity. So yes, it is a more complicated problem than the previous linkers, but, in Rust maybe you can get that done anyway.
Yes great point, if power is expensive then this can be a big downside. Depending on what it's running it idles between 50 and 100 watts. I leave it on all the time so the constant draw does start to add up. My kids and extended family to some extent use it too so it is engaged in delivering content most of the time even when I'm not using it, so I think it's worth it, but the power use is definitely a consideration.
More reading about VGUI: https://developer.valvesoftware.com/wiki/Category:VGUI

Fun fact: in CS 1.6 it could actually be reverted to the old-style WON UI by with `setinfo "_vgui_menus" "0"` in config.cfg or in the console, or buried in the menus as "Options > Multiplayer > Advanced > Buy menu type > VGUI Menus".
Correct.

What these "employers" really want is a 20 something year old MIT grad to accept working overtime (optimally) at minimum wage. Which is why they will never tell us specifically what they want and instead have to repeat the "we can't find talent!" or "there is a talent shortage!!" lies.

Now "AI" can work close to free with the intelligence of an MIT grad with a PhD 24/7.
I don't see earlier than 2020 data, is there another platform like that?
Thank you for the 91 proof! I didnt know about that
Oh what a strange decision. But that makes more sense than yhe reverse.
Martin Kleppmann was also directly involved with Bluesky as a consultant.
Wasn't my intent. The article was "how to do this" with lots of great pictures. Linked page was full of high level math. I was mocking the "This one simple trick can make your shelves full" attitude.

So you answered and I'll ask, "what do they do, it does not seem simple" except for the Database people filling ....

Thanks (former teacher)
If you are talking about REST here, expect an angry mob outside your door soon. URIs that have inherent structure and meaning? Burn the heretic! :-)
We had some discussions about it. It seems to us that AGPL will ensure that a company running our browser in a cloud managed offer will have to keep its modifications open for the community.

We might be wrong, maybe AGPL will damage the project more than eg. Apache2. In that case we will reconsider our choice. It's always easier this way :)

Our underlying library https://github.com/lightpanda-io/zig-js-runtime is licensed with Apache2.
The main drawback with keeping the switch "dumb" and only using smart bulbs is someone can turn off power to the bulb etc, which is why I and parent commenter focus on automating the switches. If someone turns wall switch off and its dumb, you can't turn the "smart" bulb on with home automation regardless of what tech is used inside it. Focusing on automating the switch generally has best returns on making most dependable system, as you will always be able to get the light back on. Again, I only recommend smart-bulb only if you are a renter or similar and can't mess with your switches.

Zigbee access to the bulb is great for stuff like changing whitebalance etc though. In my own home I have the bulbs and the switch on ZigBee so I can do this, but power on/off is solely preserve of the automated switch.
... I just realized that I would be waking up just to go back to resting.
The Vikings also used crampons to avoid slipping on ice
This article is harmful and flawed in multiple critical ways:
Data and Analysis Problems:

Cherry-picks economic indicators while ignoring wealth inequality, racial disparities, and class divides
Uses averages instead of medians, masking extreme inequality
Overlooks crushing student/medical debt
Makes unsupported claims about Gen Z homeownership despite record unaffordability
Ignores gig economy instability and job insecurity
Misrepresents political behavior through oversimplified economic determinism

Healthcare Crisis Omissions:

US life expectancy declined while European peers improved
Ignores mental health crisis among American youth
Overlooks devastating impact of medical debt
Fails to acknowledge value of European universal healthcare
Disregards social determinants of health

Quality of Life Disparities:

Neglects European work-life balance benefits (paid leave, vacation)
Overlooks value of social safety nets
Ignores public transportation and urban planning benefits
Dismisses environmental health impacts
Fails to consider housing stability programs

Harmful Impact:

Perpetuates false narrative of American exceptionalism while ignoring systemic problems
Minimizes serious challenges facing young Americans
Discourages necessary policy reforms by suggesting everything is fine
Promotes dangerous misunderstanding of generational economic trends
Undermines push for better healthcare, worker protections, and social programs
Uses selective data to dismiss valid concerns about inequality and economic instability
Creates false division between European and American youth experiences
Distracts from urgent need to address climate change, healthcare access, and wealth concentration

The article's rosy portrayal of American Gen Z success does active harm by providing cover for continued inaction on critical social and economic problems while dismissing very real struggles facing young people today.
Between 50 to 100 watts when idle. It's rarely truly idle because I use it throughout the day and my family also uses it (via Jellyfin et al) but that could be a big downside depending on power cost and utilization.
Hmmm, there might be some criminal utility in capturing <100% of visitors, so that the true owner doesn't easily realize that activity for that location has ceased. In other words, giving up a certain number of victims in order to keep the attack going for longer.

That said, it'd probably be easier to implement that in software, where the phishing site redirects a certain portion of visits back to the legitimate one.

P.S.: There's also the physical stealth aspect, but I think a lenticular design would probably be easier for a human worker to notice, compared to a regular flat sticker which just happens to encode a typo-squatting URL.
Biodegradable stimulating electrodes for resident neural stem cell activation
The foundations of computation won't change with quantum/biological computers. Turing machines stay as relevant as ever.
You are correct of course, I mangled the name. At least I got the web site link right :-).
Escape from Walled Gardens with RSS (Elfeed)
> It also doesn't work in practice because I have to do most of the diagnosis before I find it if it's my bug or Debian's.

No, you ask that first and if it's a downstream package you stop working on it. If the downstream maintainer determines that it is on your end and not theirs, then you can pick it back up.

> The only real solution is for Debian to be better at working with upstream, and not do things they've been told are going to cause problems, and not drop the ball when they do.

Assuming that "working with upstream" means "adopting upstream code in direct contravention of their own policies": If your solution depends on Debian not being Debian, then it's unlikely to work.
The keyboard on this calculator has the number of keys reduced to the minimum by the use of only three function keys, including a combined "x÷" key.

Here, pressing "x÷" gives the multiplication function if "+=" is subsequently pressed to give the answer, and gives the division function if "-=" is subsequently pressed to give the answer, so:

4 x÷ 2 += gives the answer 8.
4 x÷ 2 -= gives the answer 2.
I think for the average user it's more of a remnant of NeXTStep. It is galling that Little Snitch doesn't let you use a supported feature; but I think Apple doesn't really care about ~/Applications any more, since they "solved" it w/ the Applications and System/Applications "split".
Reporting in with my experience with JetBrains IDEs - they are generally OK, but the quality has gone massively down over the last couple of years (some worse than others, Rider has been okay, though new features often just don't work at all). Quoting my own comment with some memorable new issues in WebStorm from last year, written a couple of months ago (with links to the issue tracker)[0]:

- The autocomplete popup sometimes froze the IDE completely (and killing the process caused minutes of data loss), open for close to a year

- Since two months ago, the Typescript language server fails to start in Vue projects (due to a broken update by the Vue team). A fixed version of WebStorm was released yesterday, in the meantime you were apparently expected to search for the error message, stumble upon the YouTrack page, and apply a workaround

- Performance is abysmal in a larger React MUI project, think 10-15 seconds for feedback on code changes, sometimes errors just stick around for a good minute or more

- In some situations WebStorm makes autocomplete suggestions that aren't allowed - think effectively a type T with keys K | L, where Omit<T, K> leads to only suggesting K properties, while removing the Omit makes it suggest both K and L properties

- After updating from 2024.1.X to 2024.2.Y, the window had no buttons for minimizing/maximizing anymore. Now, this was partially caused by my environment, but after I found a workaround it was closed as "Third Party Problem". Still feels like a regression to me, since my environment did not change.

I've mostly stopped updating the IDE, as almost every version brings new regressions in basic editor features. This morning I updated and tried to copy some text. WebStorm showed me a "Copying..." dialogue for more than 30 seconds.

[0] https://news.ycombinator.com/item?id=41939833
So is this the scraper we need to block? https://news.ycombinator.com/item?id=42750420
I got tsoding fatigue after youtube started suggesting him on an hourly basis. He's on ignore.
My transition was unsuccessful for a differrent reason, although I still think that while being open to change, it’s ideologically correct to stay with ideas you are aligned with.

When I tried it, nvim-qt was hard to associate with file extensions on windows (required something like “-- “filename”” in different shapes and hours of regedit debugging, can’t remember now), then nvim itself had issues with refreshing on manual window resize and with autoresizing the window on setting ‘lines’. And a few more os integration related issues. It was basically unusable gui-wise so I bailed out due to no good reason to stay.

I was probably talking about that astro-thing that works like a christmas tree and was the main selling point at the time.
How is ChipsAndCheese work funded? Their analysis is consistently informative and well-done.
Bottom line: your car is just like your phone now, it will tell its true owner where you are at all times and that info absolutely will be sold or stolen.
Cherish your pre-connected car if you have one and don't want to be tracked by an auto manufacturer with little software or security experience.
"is", not "will only ever be"
You should have a look to the book « Entreprenerd » by Bruno Lowagie. It is an interesting autobiography that explain the process where you are.
> alters the QR code based on information it has about the current user, without appearing to change significantly.

I doubt many people would notice if your average QR code was to change significantly. Most machine readable formats are just indistinguishable white noise to most people.
I have great memories playing kz_ maps for hours in 2005. The amount of skill of some people was mind blowing. Something nostalgic about the feeling of being alone in a kz map at 3am and then hearing someone else hopping around.
The U.S. is trying to unravel a hacking plot that targeted climate activists
Speaking of Conan.

Something I don't see anyone talking about is, with such systems you have not one but at least two dependencies to audit per any library you want to include. One is the library itself, but the other one is the recipe for the package manager. At least with Conan, the recipes are usually written by third parties that are not affiliated with the dependency they're packaging. Now, Conan recipes are usually full-blown Python scripts that not only decide where to pull the target sources from themselves, they also tend to ship patches, which they apply to the target source code before building. That is, even if package source is specified directly and fixed on specific release, you still can't assume you're actually building the exact source of that release, because the recipe itself modifies the code of the release it pulled.

IMHO, trying to do OSS clearance on dependencies pulled via Conan makes very little sense if you don't also treat each Conan recipe as a separate library. But no one does.
Great attitude! I recently built a tool for my wife that uses an LLM to automate a task. Is it production ready? Definitely not. But it saves her time even in its current state.
> In the future with the proliferation of VM based languages I could see CPUs exposing their microcode publicly so that the JITs can target the actual hardware

IBM AS/400 did this, except that (as a closed system) the microcode layer is not public (and these days is just some POWER variant anyway).

It's also sort of what Itanium tried, except that they made the same mistake of entrenching implementation in the ISA... and that most real-world code does not have the same usage patterns as processor-implementation microcode.
I used GPT o1 Pro to develop dietary guidelines based on my Function Health blood work. Interesting example of N-of-1 treatment plans possible with current AI tech and where it might be headed.
UB has nothing to do with complexity. In any case, from about 87 UB in the core language, we eliminated 15 in the last meeting, and already have concrete proposals for 10 more. C2Y will likely not have any trivial UB and hopefully also optional safety modes that eliminate the others.
sewen (et al)

This is lovely and I'm itching to try it. One question:

We have a use case where a location gets cut off completely from the internet at large. In that case, it makes sense for the local hardware (typically Android and/or iOS tablets or equivalent) to take over as a log owner: even though you're cut off, if you're willing to swallow the risk (and hence cost) of offline payments, you should be able to create orders, fulfill them, pay for them, close them out, send tickets to the kitchen to cook the food or to the warehouse to fetch the tractor, etc.

Does restate include something that covers that use-case? In the noodling/daydreaming a colleague and I have done, we ended up with something very close to restate (I imagined just using Kafka), except that additionally many operations would have a CRDT nature: eg. you should _always_ be allowed to add a payment to an order, because presumably a real-life payment happened.

I've also noodled with the idea of logs whose canonical ownership can be transferred. That covers cases where you start offline and then reconnect, but doesn't work so well for transactions that start out connected (and thus owned in the datacenter) and need to continue offline.

One could also imagine ensuring that > n/2 consensus members are always located inside the restaurant/hardware store/etc., so if you go offline, you can still proceed. It might even be possible to recognize disconnection and then take one full vote to further subdivide that pool of consensus members so if one dies it doesn't halt progress. This feels like it would be getting very tricksy…
You can still see this nowadays with boats- the craftsmanship of the best homemade boats is on a much higher level than any commercial product. The pros could not make a profit if every detail had to be perfect like a hobbyist taking a decade to complete the project.

However an even higher level of quality is the pros that are called in to do one off custom projects for wealthy customers that pay by the hour and don’t care what it costs.

Ultimately, the perfection of the work is basically a tradeoff between time and quality- and the pros produce a lot more quality per unit time. But it is amazing how a really careful amateur can still do impressive looking work if they just go really really slow.
But Serenity does not provide them.
Why would you need to enter the deepest expression first?
Perhaps Elon Musk and the people who helped pony up the cash to buy Twitter were more concerned with something other than profit.
I think you misunderstand what's being described. The server didn't check it, it accepted the modified hidden field. The server should have rejected the request.
Maybe, but there's a big difference between a known 10% failure rate versus an unknown 10% failure rate. The former allows me to instantly reject the failures and retain the good responses. The latter requires me to go through a manual check for every response.
> I've learned it is normally pretty easy to tell what caste someone is from

With all due respect, you’ve fooled yourself into ignorance.

Many Indians haven’t had a relationship with caste for generations, particularly in the cities or upper and middle classes. (Intermarriage and wealth have rendered it indiscernible.)

There are also something like 25,000 castes and subcastes. It’s not a system designed for anyone to get right. That convolutedness is almost the point. Moreover, there are tens of millions of Indians who have never had a caste because they belong to a different religion or sect of Hinduism.
AI weapon detection system at Nashville high school failed to detect gun
That doesn't sound like a problem with modular parts, that sounds like poor quality and what I have to assume is either artificially high prices or really poor design (basically, I don't believe that a washing machine can contain 5 control boards that really cost >$300).
I wish this article had any form of substantiation to its claims - data, graphs, other articles, research, etc.
It makes it hard to tell if this is written in good faith or a cope-piece for those worried about the housing market and economy as a whole given the demographic of readers of the FT.
Your first paragraph is so strange, given my link and the source showing China is already responsible for +30% of global ghg emissions.

This is directly to your point. You ironically have US and China flipped, and China is largest AND fastest growing.

And cumulative emissions? Another ironic critique, given China is by far the largest and fastest growing emitter. Assuming you agree with the 1.5C target increase, we have a limited budget. Allowing a catchup (cumulative/per capita?) isn't sustainable to achieve climate goals.
Do you even have healthcare? A mass shooting-less society? Paid leaves? A tipless commerce?
I'd say it's collecting intelligence-worthy data from publicly available sources. That is, connecting the dots that everyone could connect, were they able to notice them. It does not involve anything but sifting peacefully through public sources.

This is opposed to acquiring data by other means, like breaking into protected systems, stealing classified materials, planting moles, extortion and blackmailing, etc.
As an obsessive arcade retro-gamer who custom built a high-end emulation cabinet with a 27-inch quad-sync analog RGB CRT - I approve of this video! As soon as he described running into the green pixels problem, I knew he was going to learn something interesting. Sub-pixel structure, phosphor chromaticity, etc are such a fun rabbit hole to dive down. And it's still highly relevant in today's OLED, QLED, etc displays.

Also, a tip for when you play classic arcade or console retro games from the 80s and 90s: they will look much better (and be more authentic) if you play on a CRT - or, if playing via emulation, just turn on a CRT emulation pixel shader (CRT Royale is good). These pixels are art which the original devs and artists intentionally hand-crafted to use the way CRTs blend colors and scanlines anti-alias naturally. You deserve to see them as they were intended to be seen. Just look at what you've been missing: https://i.redd.it/9fmozdvt6vya1.jpg
My impression is that siri was purchased because it was speech recognition and text to speech. It seems that understanding what is asked is too much to expect, it doesn't seem part of the design.
Anatomy of a Formal Proof
Pretty sure I'm not touching any app that starts with AA0* (esp. if that name isn't relevant to app's functionality in some way)!
But I get the point you are making, on how current system can be gamed with just app-naming and frequent (meaningless) updates to the app :-(
How would you compare this to the actor model or to temporal?
Patently untrue. If I have hundreds of PDF research papers totaling thousands of pages - just because I have them doesn't necessarily mean I know where to search. Having an LLM be able to find related pieces across all of these documents and extrapolate is tremendously useful.
OpenSnitch

https://hn.algolia.com/?query=opensnitch&type=all