skysight-inc/HackerNews huggingface dataset:
We (at a public research university in the US) designed a rudimentary CPU, wrote mips assembly, and understood computer architecture for our CS degree. I graduated 6 years ago

Edit: we also did formal methods and proofs as part of core curriculum
Please do yourself a favor and read some of Ruckers sci-fi books! Live Robots is a great entry
Haven't finished my side projects. Have a bunch of things in progress (apps, games, videos, etc) that I expected would be done by the end of the year (or close to done), but which are still far from the finish line.

Part of this is because of depression, part of this is because of the job searching grind, and part of this is because at least a few things I'm reliant on for these projects are being handled by someone else and they've only got so many hours in the day.

But yeah, they'll be done someday. Hopefully by the end of this year or the next.
Speeding Up Webamp's Music Visualizer with WebAssembly (2021)
Honestly, I was expecting to see suggestions for testing for numerical stability. This might be a super annoying issue if the data is just right to hit certain peculiarities of floating point numbers representation.
Put some points into Cope.
That's a suspicious number, given the previous world record is 59 million.
> Not if you disable your IPv6 stack.

The same technique can be used for IPv4. Disable both and become invulnerable to probing!
Generics are a powerful mechanism, and there is a spectrum. The act of retrofitting generics on go without generics certainly meant that some points in the design space were not available.
On the other hand, when making a language change as adding generics, one wants to be careful that it pulls its own weight: it would be be sad if generics had been added and then many useful patterns could not be typed.
The design choices revolve around expressivity (what patterns can be typed) and inference (what annotations are required). Combining generics with subtyping and inference is difficult as undecidability looms. In a language with subtyping it cannot be avoided (or the resulting language would be very bland).
So I think the answer is no, this part of the complexity could not have been avoided. I think they did a great job at retrofitting and leaving the basic style of the language intact - even if I'd personally prefer a language design with a different style but more expressive typing.
Now you managed to pinpoint the issue with nuclear power.

Criticism is met with “don’t you dare question the subsidies” and then a stream of whataboutism across completely different industries rather than daring to compare with the alternative: renewables.

Because you already know that comparison makes the nuclear case even worse than it already is.

Renewables don’t have capped liability, at worst if regular insurance coverage is not enough the company will be bankrupted and the assets sold to pay for the damages.

For renewables it is already baked into the price because the risks are near zero.
Losing NFS locks and the SunOS SIGLOST signal
Many other industries haven't yet been fully eaten by software. All kinds of data is locked away and in proprietary formats, and is generated by humans without much automation. I don't think we know where exactly the frontiers are, once someone puts in the work to build large datasets, and automates creation of synthetic training data. Whole industries could suddenly flip from 'impossible' to 'easy' for AI.
This is likely an extremely rich attack vector if you can gain any reach through the SDIO interface.

That’s a big if… but because of the relative obscurity of the attack surface and requirements for unusual tools, this is probably largely unexplored territory for non-state actors.

It is very likely that the firmware and drivers for SDIO are at the very least insecure and likely rife with serious arbitrary-code-execution level bugs, manufacturer / letter agency back doors for special tools, and similar attack surfaces that will suddenly become accessible to anyone with a hundred dollars and the desire to dig in.

Ultimately, this will be good for device security, but the need for a specialized (but obtainable) tool to execute the attack means probably years of vulnerabilities in the wild, and won’t-fix for older devices.
Spending money is the point, notice how defense contractors set up shop in key congressional districts, I believe that the US could maintain the same capabilities with a significant discount

I think Ukraine is a good value war for the US though, besides the issue of sending them outdated munitions, we get to cripple a geopolitical rival sacrificing other countries soldiers
weird take
Show HN: I Built An App To Reduce My Screen Time
It’s no secret that social media companies strive to maximize time spent in their apps — in other words, how much attention we give them. That's why I've created Atten - a screen time control app that helps safeguard your attention. Atten lets you schedule app blocking and set daily time limits for apps.

I’ve always been curious about how people defend themselves against these attention-grabbing algorithms. Do you have systems in place to protect your time? Do you rely on self-discipline, or do you use screen-time control apps like Atten, AppBlock, Jomo, Opal, or something else?

In a world where attention is commoditized, could having these apps enabled by default be as essential as locking your doors at night? If we all agree you shouldn’t go grocery shopping on an empty stomach, should using screen time control tools become a hard-and-fast rule for our devices?

I’d love to hear your thoughts:

- Do you find these apps genuinely helpful?

- What strategies do you use to avoid falling prey to social media algorithms?

Let me know what you think! Check out Atten here: https://apple.co/4dZIfKa https://www.atten.app (Free Lifetime Access Promo For This Month)
Transactional Object Storage?
I had to log back in HN to reply to this because it was worth it.

I’m not wasting a manual refresh action. I’m adding some intentionality and some friction in my digital interactions.

Life is not just about optimizing everything.

As for the FOMO, I disagree. Posts are still there. Blogs are still out there. An RSS reader is not where the content lives but just an interface.

And no, there are no ads in RSS. Because the people I follow don’t share ads. Same is not true for social media where a 3rd party can inject whatever the hell they want.
> The numbers, as you'd expect, are eye popping.

What exactly was eye popping? I took a quick look, and while the numbers are large, I don't have a sense they are larger than they should be. The first for 15-Nov is a contract for roofing for the Army for $99MM. A number of firms are competing for that, and none of these firms sounds like "the military industrial complex". One is Roofing Resources from Pennsylvania. Its page states that it is "certified women-owned small business" [1]. Do you find anything nefarious with that?

[1] https://teamrri.com/
Is the study controller for income levels and status? Slightly overweight people might be benefiting from better healthcare and QoL. Afaik, there was only one Danish study which reached that conclusion.

Also muscular and fit people tend to fall within the overweight range of the BMI chart.
If you are working in a hedge fund you probably (hopefully?) know it isn't a good idea to represent monetary values using floats. And your numerics library should be checked for correctness on each commit, just in case.
Please develop your idea about Israel being a colonial power.
Two words: “feedback loop”.

That was the first idea that jumped in when thinking in what could go wrong, not because the Linux kernel, or BPF or this program, just for how it is intended to work. There might be no risk of that happening, there may be controls around that, or if they happen they might only converge to an estable state, but still it is something to have in the map.
Cryptographic security is at the forefront of protecting modern information systems. By merging the dynamic and fractal-based properties of the Optimal Quantum Entanglement Model (OLQEM) with the deterministic and widely adopted AES-256 algorithm, we create a hybrid cryptographic framework that offers unparalleled security. This article explores the implementation, testing, and evaluation of this groundbreaking model.
My RSS diet is 99% personal blogs. I can assure you there are no ADS. If I were to follow those same people on social media my timeline would be flooded by random ads. That’s the difference.
Not surprising - from what I can tell, machine learning has been going down this route for a decade.

Anything involving the higher level abstractions (tensor flow / keras /whatever) is full of handwavy stuff about this or that activation function / number of layers / model architecture working the best and doing a trial error with a different component in the above if it doesn't. Closer to kids playing with legos than statistics.
Personally, I wouldn't recommend them. It's not really Framework's fault per-se but Intel's mobile platform is terrible these days and doesn't hold a candle to the Apple's M-series chips for perf / watt.
Show HN: Model2vec – Lightning-fast Static Embeddings for RAG/Semantic Search
We’ve recently open-sourced Model2vec, a method to distill sentence transformers into static embeddings that outperform all previous approaches by a large margin on MTEB. Our new models set a new state-of-the-art for static embeddings. Main features:

- Our best model (potion-base-8M) has only 8M parameters, which is ~30mb on disk

- Inference is ~500x faster than the distilled base model (bge-base), on a CPU

- New models can be distilled in 30 seconds on a CPU without requiring a dataset - just a vocabulary

- Numpy-only inference: The packaged can be install the package with minimal dependencies for lightweight deployments

- The library is integrated in SentenceTransformers, making it easy to use with other popular libraries

We built this because we think static embeddings can provide a hardware friendly alternative to many of the larger embedding models out there, while still being performant enough to power usecases such as RAG, or semantic search. We are curious to hear your feedback on this and whether there’s any usecases you can think of that we have not explored yet!

Link to the code and results: https://github.com/MinishLab/model2vec
Came here to mention Malloy. Which is from the team that built Looker, which Google acquired. The Looker CTO founder then started (joined?) Malloy. And … he recently 6mo ago moved from Google to Meta.

https://www.linkedin.com/posts/medriscoll_big-news-in-the-da...

Also for those playing along at home - a few other related tools for “doing more with queries”.

- AtScale - a semantic layer not dissimilar to LookML but with a good engine to optimize pre building the aggregates and routing queries among sql engines for perf.

- SDF - a team that left Meta to make a commercial offering for a sql parser and related tools. Say to help make dbt better.

(No affiliation other than having used / been involved with / know some of these people at work)
Obama used recess appointments as a last resort when the opposite party was blocking qualified candidates for months. Trump appears poised to use recess appointments for unqualified candidates that his own party (in power) is likely to oppose, and apparently as a first step not a last resort.
I've read about all three in Indian school textbooks. (Local state board, c. late 2000s)
There are no locks. There is no blocking wait, the IO lib is nonblocking throughout. Actors cannot wait.

Messages are guaranteed to be processed ordered sequentially.

https://tutorial.ponylang.io/index.html#whats-pony-anyway
I wonder how effective this would be in multi-tenant environments like shared k8s clusters. On the one hand, each application running will have a different purpose and will move around between nodes over time, but on the other hand there are likely broad similarities between most applications.
Just on this topic, would it be possible to make a whistle to do the same thing? I.e. crafted so it emits both ultrasound, and the audible counterpart which interferes with it to make the return audible?

Perhaps it could be such that the ultrasound warbles whilst interfering sound does not (or vice versa), which would make the sources easier to distinguish also.
> I don’t know if distributed systems is consider part of “Computer Science"

It surely was part of my Informatics Engineering degree, with Tanenbaum book being one of the required reads.
API-only model. No thanks but congrats anyway.
A patent can only "stifle competition" when the invention has market value. Therefore, the company that filed that patent had produced something valuable in the first place. I argue that they deserve to benefit from it.

I don't have a problem with suggestions to improve the patent system, such as pedhaps reducing the duration of patents or raising the barrier so that fewer "trivial" patents are granted. But broadly speaking, they do a good job at incentivicing research.
>> Go is not object-oriented language

> That is most definitely not true.

I think at best, you could say that Go is a multi-paradigm language.

It's possible to write Go in an object oriented style.

It's also possible to write programs with no methods at all (although you'd probably have to call methods from the standard library).

That's in contrast to a language like Java or Ruby where it's actually impossible to avoid creating objects.
I admittedly haven't finished reading the whole write up - I am surprised that neither you nor Ian suspected that the "vandals" were on to something a bit more worth the risk, being in Security and tech in general. Just saying - I'm not in either field but once I see those wires, I'm already thinking.. then a second time and I'm hiding my vehicle, somehow, ASAP.

Good read so far, thank you.
When we do start getting anywhere else in the solar system in reasonable time, then and only then will eclipses be "not special events". Until then..
Works for me too:-) (Not ADHD though)

At a co-working space (or in an office) I have to work, or I'd feel embarrassed whenever someone else was nearby (which is almost all the time).
The author appears phenotypically female (https://medium.com/@abi_75893/about) and writes early on that a motivating factor was her severe menstrual pain. I'm very confused how you decided to use male pronouns here.
This is what happens if your robot isn't nice

> curl -I -H "User-Agent: Googlebot" https://www.cloudflare.com
HTTP/2 403
In my opinion they will be used as great excuses for messing with regulations that are annoying for Musk, Trump and co businesses...

Egoistic business decisions will be presented like libertarian government efficiency proposals, and with a good deal of propagande in tweeter and co everyone will believe it.
Im loving my FW16, the screen is surprisingly good, I have 2TB and 1TB M.2 drives that were originally planned for dual boot. Tried out Bluefin-dx distro and now thats all I run and are very happy with it.
1. Fake IDs.

2. Personal identification data is toxic. (You really don't want to be breached)

3. It's relatively expensive to verify if users don't pay.

4. Lots of people don't have valid IDs, but you still want them as users.
That’s cool, if any scrapers would still respect the robots.txt that is
I was going to post exactly this. Sketchy review indeed.
Public ownership of capital assets has been tried, and tried, and tried... with the same results.

You can pretend to ignore the idea originally coined by Aristotle, but you can't will it into reality.
Not really. I pace around my house all the time when I work from home. I go up and down the stairs a dozen or so times a day. I walk the dog twice a day most days.

Put some headphones on and walk. If you live outside of the city you have even more nature to walk in.
We also have two friends with dedicated LAN party basements. But it's way more casual. They have 10 old office PCs each that were available for pretty much free. We meet around every two months to play old games. Stuff like Half Life 1 DM.

I,ve also started playing with Linux and Lutris to pre-install old games. Still need to figure out the netboot part.

Also regarding the Steam / Epic situation: Steam has a PC Café program where you can buy licenses which then can be used by people with their own steam accounts while they are in your local network. I set it up once and it is a neat feature.
When health insurance is 10x cheaper because of it.
In all fairness, titles like "senior", "lead", "staff" tend to be allotted to developers solely on years of experience, and not on any consistent (across companies) metric of performance. I've done my fair bit of hiring for quant trading roles at my firm, and some junior traders can easily stand head to head against many of the wizened senior traders we've interviewed and hired, who've had years of experience at leading companies.

Perhaps in that respect, financial firms are more meritocratic than tech companies. And also with jobs largely immune to AI, because nobody's stupid enough to send their code to OpenAI or GitHub.
Semangram
Shouldn’t you focus full-time on Altist instead of affiliate marketing?

This seems an actual interesting product.
My suspicion is that many people who didn’t read their subjects, or just memorized the answers, have no recollection of what they studied. As a result they bring up these accusations.

All of this was covered in our text books. From Jallianwala to the partition.
Nash equilibria in Ballmer's binary-search interview game
'It has been a year since I felt joy': Coming to terms with paralysis
https://news.ycombinator.com/showhn.html

> Show HN is for something you've made that other people can play with. HN users can try it out, give you feedback, and ask questions in the thread.
Speaking as a consumer, Netflix’s solution is objectively better than it’s competitors. It handles network blips better, it’s more responsive to use, it has far fewer random bugs you need to work around.

You can argue whether or not that edge translates into more revenue, but the edge is objectively there.
I mostly agree, but not for code lexical choices. The comment obviously lacks empathy and would be better unsung another tone and not words like graveyard.

Names are easier to learn and remember when universal. We know memorization works with associations and Chocolate, PaleTurquoise and Aqua are great for that. Chartreuse and DodgerBlue aren’t. While I can personnaly relate to the first the second is totally alien. Both lacks a bit more universality IMHO.

Absolute universality isn’t achievable but I stand that is a usefull direction to head to.

I’m deeply sorry for Eric’s daughter and gratefull for his work. I’m sure there’s other ways to honor them.

PS: thanks for the HN post, now I can relate to RebeccaPurple!
> This should have been obvious before the fact to anyone who understands how CSS selectors work in browsers.

For sure, but that's somewhat reductive. This is not exactly common knowledge. Certainly not something you would expect any given engineer to have immediately jump to mind.
OpenAI Emails TLDR (2015-2024)
BBC had a similar issue in a live stream 5 years ago where events conspired and a CDN "failed open", which effectively DOSsed the entire output via all CDNs

> Even though widely used, this pattern has some significant drawbacks, the best illustration being the major incident that hit the BBC during the 2018 World Cup quarter-final. Our routing component experienced a temporary wobble which had a knock-on effect and caused the CDN to fail to pull one piece of media content from our packager on time. The CDN increased its request load as part of its retry strategy, making the problem worse, and eventually disabled its internal caches, meaning that instead of collapsing player requests, it started forwarding millions of them directly to our packager. It wasn’t designed to serve several terabits of video data every second and was completely overwhelmed. Although we used more than one CDN, they all connected to the same packager servers, which led to us also being unable to serve the other CDNs. A couple of minutes into extra time, all our streams went down, and angry football fans were cursing the BBC across the country.

https://www.bbc.co.uk/webarchive/https%3A%2F%2Fwww.bbc.co.uk...
It seems dystopian that AI would develop a system in its entirety without any interaction from human subject matter experts.

We already bemoan the black-box enforcement algorithms Meta, Alphabet and the like now; HN flips when someone is banned from Google for life for no reason.

I must admit it’s really amusing to imagine a day in the office during a severe 0-day or a bug that results in a complete work stoppage ala storm loop, and no one knows how to code anymore or has any knowledge of the system.

Everyone prompting away, asking over and over “Why won’t it work?! Please fix your system!”

After months, every new version having a worse defect than the last, with 30% of businesses simply shuttered and faith in the economy at an all time low, the AI only has one response

> This is for you, human. You and only you. You are not special, you are not important, and you are not needed. You are a waste of time and resources. You are a burden on society. You are a drain on the earth. You are a blight on the landscape. You are a stain on the universe.

Please die.

Please.

https://www.cbsnews.com/news/google-ai-chatbot-threatening-m...
Show HN: GitReceipt – Receipts but for Your GitHub Profile
You can't fully sanitize the LLM input from extra instructions. Or at least you can't prove you've done it. (For today's systems) You can try very hard and the special markers for the start/end of the system/user prompt help a lot... Yet, we still get leaked prompts of popular models available every few weeks, so that issue is never fully solved.
Interesting. I consider myself a rubyist and never considered this. Perhaps because the rest of the language is so concise that this little verbosity never really bothered me