skysight-inc/HackerNews huggingface dataset:
So, how do we build something like that?

Aczel non-well founded set theory which allows sets that contains themselves, together with intuitionistic logic, as a starting point.

Propositions as embeddings in hilbert spaces (infinite dimensional spaces).
Propositions can only "interact" with other proposition along non-zero dimensions that they have in common.
Universes as collections of propositions.
(Here propositions could be both mathematical concepts, and complex things like the position in spacetime of somehing)
Multiverse as the space containing all universes. Note that universes are themselves of the same type as propositions here. The Multiverse in my construction is an infinitely self-recursive structure, that contain within itself all possible propositions. Universes can merge, if they are commensurable (shared dimensions in hilbert space). Universes "annihilate" when there are contradictions, and create by branching new universes when a truth value cannot be established by known propositions.
You could call propositions, particles or being if you prefer another point of view . At this stage, we only deal with symbols not meaning.

In fact, I started toying with assigning labels to propositions and came up with a scheme based on prime numbers and p-adic numbers (where I posed 0-adic numbers to be prime numbers). It just seemed to work better.

In addition, I had a "creation" operator that would introduce a new dimension (when reaching infinity, or transcendence... a sort of koopman operator to access divine wisdom via samadhi... remember I wanted to express all possibilities, including the existence and truthfullness or lack there-off of all concepts in religions). The whole system was based on a construction similar to surreal numbers, but using infinites instead of finite numbers, and adding dimensions at each turn.

0 = {|}
1 = {|0}
-Infinity = {0,{0}|}
Infinity = {|{0},0}
Thanks! I actually graduated as a Math student many years ago. But I wasn't too interested in it and didn't come from a good school. I'll see if I can find some material by myself and bug you if I really need it.

Anyway appreciate the help.
I imagine bringing up the current situation with John Deere and how the law would enshrine the right to repair the tractor that you bought with your own money would go farther than most arguments with those folks.
Over 10 years. I used to be dark mode all the time, but in recent years I feel light mode in daytime is much clearer and doesn't clash with the ambient light which forces my eyes to strain more in daylight.
Show HN: Kore – Meta-cognition for your LLM and browsing habits
I built Kore because I realized I was using Claude and Google dozens of times daily without understanding my own patterns or improving my usage over time.

The Problem: We've become passive consumers of AI and search tools, with no insights into our usage patterns. We stay in "default mode" without mindfulness about how we're actually interacting with these powerful tools.

What Kore Does: Kore analyzes your LLM conversations and browsing history to surface personalized insights and behavioral patterns you wouldn't otherwise notice. It puts you back in the driver's seat of your digital behavior by making the invisible visible.

I built this because I wanted to understand my own "digital shadow" – those patterns of interaction I wasn't conscious of.
Do any of these visualizations meaningfully incorporate the fact that many (if not most) books lack ISBNs?
This is a pretty interesting visualization tool!

I had a few ideas for some areas for improvement:

1. Interactive Debugging - It would be great if users could click through the code line by line to see how execution flows.

2. UI Improvements – There's a lot of whitespace. Consider:

- Moving the title to the top left to free up space.
- Flattening the buttons for a cleaner, more modern look.

3. More Context – A brief explanation of why visualizing goroutines is useful (e.g., debugging race conditions, understanding concurrency) could make it more accessible to newcomers.

4. Goroutine Analysis – Could be cool to highlight:

- Goroutines that are still running after execution ends.
- Common concurrency issues like improper synchronization or goroutine leaks.
Right. One reason we're in this mess is that voters don't even notice unemployment but are extremely sensitive to inflation.
Show HN: Electro – A hyper-fast Windows image viewer with a built-in terminal
This is my first major OSS release! I was always so frustrated by how slow image viewers were on Windows so I built one from the ground up with Rust & Tauri v2.0!

Electro also has a very unique feature: a built-in terminal. I was always mesmerised by merging CLI tools with GUI based systems and this is my first go at it!

I have big plans on expanding the terminal functionality with built-in image editing commands, command chaining, file handling etc.
People did ask that, and they got back answers like "beating grandmasters at chess" and "being able to hold a conversation with a human," but no one considers chess engines or chatbots to be AI anymore because the goal posts were moved.
I would second this. No security person says "I don't have enough problems to look into."

Security spending is down, so navel gazing products are going to be a really hard sell. Figure out how to actually solve problems in an automated/semi-automated way and ship that instead.

The other issue with all of these tools is handling onboarding/integrations and getting terrible visibility as a result. A big market gap I see is a tool that can use the vulnerabilities it discovers to further information collection just like a real attacker would. Found Splunk creds in a log? Awesome, start using them. Syslog in an S3 bucket... boom. You are now hitting the stuff that every other ASM/visualization tool has missed.
It would be great if we could upgrade API rate limits. I've tried "contacting sales" a few times and never received a response.

edit: note that my team mostly hits rate limits using things like aider and goose. 80k input token is not enough when in a flow, and I would love to experiment with a multi-agent workflow using claude
It's interesting how everyone reading my description must have a different picture in their mind :) Right now I'm doing super simple treemaps, but I'm close to starting work on diagram overlays. No screengrabs yet.
> 25% of Americans

If you’re referring to people who don’t vote, they de facto support the outcome. Particularly if in a swing state.

> genocidal dementia patient

People who voted for Trump (or threw their vote in a swing state) because of Palestine are the definition of stupid and selfish. By prioritising their interests above those they purported to represent, they will have played a (non-critical) role in the destruction of Palestine.
I'm surprised that Gemini 2.0 is first now. I remember that Google models were under performing on kagi benchmarks.
Polars + Parquet is awesome for portability and performance. This post focused on python portability, but Polars has an easy-to-use Rust API for embedding the engine all over the place.
The first time, didn't he get more than that the second time though?
It's always been cool. It's why you can't buy a Kei truck or a BYD car
This is the difference between I(nform) and C(onsult) in RACI matrixes, a great framework to keep in mind as you think about team communications.
https://en.wikipedia.org/wiki/Responsibility_assignment_matr...
This is all intended policy to benefit Trumps super donors. They can then scoop up marketshare and competition for pennies, then lobby to get the tariffs lowered or removed, but the higher prices - that we will be used to paying at the point this all comes together - will not go down.
DDG took me straight to https://en.wikipedia.org/wiki/Noema
there are ways to omit the right to repair. My mechanic told me story about the new emergency system (mandatory in EU) that calls automatically for help on the crash event. It has a battery and a small controller in a all-in-one module. If the battery goes down - it will stop working and require replacing. If you replace only the battery it won't work. Not sure if you can replace battery while maintaining voltage, but this might be impedimented using plastic cover or something like that.

The new module costs 500$
Show HN: Serverless Swift to control Philips Hue bulbs when my sports teams win
I built an event-driven serverless back end entirely in Swift that remotely flashes the Philips Hue bulbs in my house whenever my favorite sports teams score or win. It runs on AWS services including Lambda, DynamoDB, SQS, and EventBridge, and costs less than $0.20/month.

The Infrastructure as Code config and deployment is all handled by Swift Cloud.

You can view the full source code for this project on GitHub: https://github.com/r-token/sports-home-automation-swift

Interested in your feedback! I haven't seen much content out there about serverless Swift, and I think the language fits really well in that environment. Hopefully the ecosystem around this continues to grow. I had so much fun with it.
For me, “disrupt” is forever tainted by all the startups whose only real innovation was aggressively breaking the law until they were too big to police.
Careful when comparing performance and efficiency. As a rough factor power increases quadratically as you increase clocks on a design, so you can quite easily make a high performance design low power by under-clocking it. The same is not true for the reverse.
"Making money" at the same exact time does not have to be the goal. Bob might want more liquidity and lower volatility now, so he wants US dollars (USD) from Charlie. Charlie might want less liquidity now, but wants to bet on $300 worth of AAPL will have more purchasing power at some point in the future than $300 of USD.
https://vekatze.github.io/neut/static-memory-management.html is a good explanation.

TL/DR: All functions are pass-by-value. To avoid complete tanking of performance, they have "noema" (same as a reference in other language), which contains pointer to "hyle" (reference target in other languages). Since the language is GC-free, the references cannot escape out of the block they are defined in.

The language authors really like inventing the new programming terms.
Chimps prefer peeing together, 600 hours of study shows
Own your privacy on AWS ? Ain't that funny.
> have more insight into what, actually, the IAM Roles could do

We 100% do this, see https://eng.lyft.com/iam-whatever-you-say-iam-febce59d1e3b.

We evaluate the policies for the IAM principal against the resources to determine what actions they can perform on each resource. This is configurable too; here's the set of the default permission relationships shipped in OSS: https://github.com/cartography-cncf/cartography/blob/master/...

It doesn't cover conditions since those can be wacky complicated, and it doesn't cover resource policies (yet!) but in my experience this is still a very good heuristic that is already more accurate than AWS IAM Analyzer when I played with it.

The next step we're working on is to take this access map and correlate it with event data to see which permissions are used/unused so that we can prune them for ensuring least privilege. More to come here.

Edit: adding on for the part of your question about what features are paid or OSS, our paid offering is fully hosted and includes things like automatic suggested fixes, a natural language interface, customization with our dynamic schemas, and other bells and whistles. I'm not a fan of doing things like premium modules because I don't want to ever get in the position where I'm declining a pull request in open source because it covers a premium feature; that doesn't feel right.
Which starter pokemon does Claude typically choose?
The really unintuitive bit is that the condition is the reverse of what you would expect, so I wouldn't call it "easy to get right".

Exchange sort is more intuitive and almost as simple, and if you don't mind something a little less intuitive but still very simple, just do insertion, it is often considered the best of the simple (N^2) sorting algorithms.

For me, the most intuitive and the less likely I would get wrong would be selection. It is actually the one I came up with naturally before I even knew about sorting algorithms, it is a couple of lines longer than the others though, and often considered worse than insertion.
> wanting repairable products is something most consumers don't even think about at time of purchase

This is the core of the problem. The coalition pushing for these laws doesn’t include most consumers. Absent an expensive ad push, I don’t see that changing.

Takeaway: make hay where the sun shines. Focus on farming states and those with lots of dealerships and repair shops. Maybe put an anti-Musk / anti-Tesla angle on it in blue states.
I was under the impression that delivery drivers had a book or something with these codes.

Like, the HOA just like calls the delivery companies and says "hey, here's a code to get in"
Yes I am working on tools (some of) which have real time deadlines, albeit not the very strictest ones. We're currently operating around the video game definition of "real time" (and video games are a potential use case), so it's not a problem space where you can't be fast enough and users will always ask for more.
It baffled me that anyone thought that Trump was going to somehow be better than Kamala in regards to Palestine.

I could understand voting for a third party, but Trump outright tried to impose a Muslim ban in his first time, and said that his son in law was going to quickly solve the Middle East conflict single-handedly; seems unlikely that he would be sympathetic to people in the Middle East.
No thanks my closest grass is covered in dog pee!
Thanks for all the work on aider, my favorite AI tool.
Which is very very few markets, and all of them share weather patterns that are very similar.

When Waymo can demonstrate reliably going from Chicago to Ann Harbor in the middle of a snow storm thats when we can start talking about how its good enough.
Their chart says 32% of UK doctors are "foreign-trained". I don't know what counts as "foreign-trained" - spending a year studying abroad? But it must be a much broader category than immigrant, because only 19% are foreign nationals, and only 14% are from outside the EU [1], according to UK parliament research. In 2018, 14% of the UK population was born abroad [2]. With the dramatic jump in immigration in 2020 [3], that number will have grown. On that topic:

700 Brit students who aced their A levels have been denied places at medical schools - https://www.thesun.co.uk/news/4482182/almost-half-of-doctors...

Justify hiring a white person, NHS bosses tell interview panels - https://www.telegraph.co.uk/news/2022/12/26/justify-hiring-w...

MORE than 60% of Fitness to Practise (FTP) inquiries [in Ireland] completed by the Medical Council in 2010 related to foreign doctors. - https://www.irishexaminer.com/news/arid-20141083.html

NHS nurses being investigated for ‘industrial-scale’ qualifications fraud - Scam involves more than 700 healthcare workers who used proxies to pass test in Nigeria enabling them to work in the UK - https://www.theguardian.com/society/2024/feb/14/nhs-nurses-b...

So the natives are expected to show gratitude for being forced out of their own medical schools. As for the claims that immigration is needed for the economy - both Denmark and the Netherlands have found that immigrants have been fiscally net negative [4,5].

[1] https://commonslibrary.parliament.uk/research-briefings/cbp-...

[2] https://en.wikipedia.org/wiki/Foreign-born_population_of_the...

[3] https://en.wikipedia.org/wiki/Modern_immigration_to_the_Unit... - see chart

[4] https://inquisitivebird.xyz/p/the-effects-of-immigration-in-...

[5] https://www.iza.org/publications/dp/17569/the-long-term-fisc...
I am still writing about Cognitive Agents on my Substack "Encyclopedia Autonomica" [1]. Last month I crossed 500 subscribers (~15 paying) on Substack and since today Google is properly indexing it.
Throughout February I wrote largely about applications in FinTech like Market Making, Agents as Financial Decision Engines, Advanced Named Entity Recognition, and that I built Deep Search for Finance in 2023 and nobody cared.

[1]https://jdsemrau.substack.com/
I don’t remember the onboarding (ironically :) but once you get in the UX is really nice and perfect for what it does. Maybe it won’t win Apple design awards, but I’m just here for the content.
I'm not saying it's not useful, I'm saying that we hold humans giving us answers to a much higher standard than LLMs.
Live streaming at world-record scale with Ashutosh Agrawal(ex-JioCinema/Hotstar) [video]
We take a deep dive into video streaming architecture, tackling the complexities of live streaming at scale (at tens of millions of parallel streams) and the challenges engineers face in delivering seamless experiences. We talk about the following topics:

• How large-scale live streaming architectures are designed

• Tradeoffs in optimizing performance

• Early warning signs of streaming failures and how to detect them

• Why capacity planning for streaming is SO difficult

• The technical hurdles of streaming in APAC regions

Episode summary and transcript: https://newsletter.pragmaticengineer.com/p/live-streaming-at...
Been using 3.5 sonnet for a mobile app build the past month. Havent had much time to get a good sense of 3.7 improvements, but I have to say the dev experience improvement of Claude Code right in my shell is fantastic. Loving it so far
Yea, these are nicely done. To add some balance:

> After years of defending Go, you'll secretly start a side project in Rust but tell no one on HN about your betrayal
I can’t get past the captcha on mobile because it interferes with the ad
that's true they swapped her in, but her policy platform was identical. she said there was no difference between her and biden explicitly.

https://www.cnn.com/politics/harris-2024-campaign-biden/inde...
Which is theoretically great, but if anyone can get an Aussie credit card to work, please let me know.
I don't think Kamala Harris has dementia. I'm not sure I like her stance on Gaza either but criticize her for the right reasons.
You are, of course, right. I mean... Amazon named their digital assistant after the best-known cinema camera in the industry.

And VW named one of its cars after the last 30+ years of Canon cameras.

Huh, my entire litany of two other examples involves cameras...
captcha doesn't work :(
https://www.youtube.com/watch?v=-zRN7XLCRhc&t=2308s
Sure, why not, here it is: https://github.com/freetonik/geostreaks
Err, if you compare the two consoles you'll see that anthropic is actually slightly better on average than openai's uptime.
With the infinite construction, in this way, there is a potential link to modular forms or L-functions.

For $reasons, I was trying to look for a way to go from C7 * Z2 toward the sporadic simple groups... so I was trying to construct the Riemann hypothesis.

The basic reason, is that I wanted to get to a structure that could potentially generate infinite possibilities from a stable core (the Monster group) via this infinite contraption that I built on non-well founded sets that allow to "reach" transinfinite induction.
I suppose I don't hate the idea of Ukraine paying for its defense. Ideally, they'd demand it out of Russia in reparations, but that's never going to happen. They won't extend the war to get a better reparations deal.

I'll see how I feel about it when it happens. I've got no reason to give the current US administration any benefit of the doubt. If the war ends, good on them. We'll see how much gets lost in the process.
> But we do know what did happen

Again, that's "nearly bankrupted two more companies over the next decade". Adversity is frequently good for learning.

> We also know what has happened to Apple since Tim Cook took over.

Dominance?
No thanks. It's clunky, slow, laggy. Electron was a poor choice IMO. One of the things that makes Eclipse great is the UI toolki; fast & properly desktop-integrated. None of this clunky JS/TS hot garbage that runs in a crippled browser. It's the worst of both worlds.
They are trying, and will eventually catch up, the same way they have in software and in hardware in many other spaces. Maybe it will take another 10 years. Maybe another 10 months.

This idea that EUVL is—and always will be—outside of the reach of China is, frankly, silly. It's a silly strategy to maintain dominance. They will straight up steal the technology if needed.

We should stop pretending like we can roadblock the technological development of the largest country. It's just going to make the fall that much harder. Once they do attain the ability to manufactuer EUVL domestically, capital is going to flood out of US tech stocks like no tomorrow.

You haven't seen anything that hints at it, because most news about what happens in China doesn't leave China. The propoganda machine is hard at work reminding you that China is terrible and eveyrone in China is poor. You'll learn about China catching up only after it's already happened.
$ npm install -g @anthropic-ai/claude-code

$ claude
I had to find on some strange forum the CEL codes to monitor my DPF. Otherwise I would never know when it is filling up and never be able to reach out a highway to allow it to clean nicely.

This shouldn't be obscure. But they keep saying "hey this is our intellectual property"
> baffled me that anyone thought that Trump was going to somehow be better than Kamala in regards to Palestine

I was in Phoenix in April 2024 when an otherwise-intelligent friend remarked on whether Trump was pro Israel. She wound up remembering his first term eventually. But at that moment I realised that the checkmate Democrats thought they had Republicans in with abortion, Republicans had Democrats in with Palestine: move to the left and you lose moderates and Pennsylvania. Move to the right (or fail to message) and you lose Michigan and your base. Message at all and you lose swing voters who don’t want to hear about foreign policy.
Especially hilarious considering that this is the actual marginalia developer: https://hn-wrapped.kadoa.com/marginalia_nu

> You defend Java with such passion that Oracle's legal team is considering hiring you as their chief evangelist - just don't tell them about your secret admiration for more elegant programming paradigms.
I've always wanted to check out these cookbooks but they are beyond my price threshold for cookbooks.
For baking fans though, they did a great little podcast series to promote their Bread book a while back.

https://heritageradionetwork.org/series/modernist-breadcrumb...
This has been my experience as well. Why do the others suck so bad?
This is totally irrelevant.

Optimization is a branch of mathematics concerned with optimization techniques, and the analysis and quality of possible solutions. An optimizer is an algorithm concerned with finding optima of functions. You don't get to rewrite decades of mathematical literature because it gives you AI vibes.

Yeah, you need an optimizer to train AI, but it's not the AI part. Most people would refer to and understand AI as being the thing they interact with. You can't interact with an optimizer, but you can interact with the function that is being optimized.

I'm honestly stunned that this is even a controversial position.
> Put one on the ISS.

I can see it already: cloud provider offers orbital FPGAs for testing your AI hardware designs
Any plans to make some HackerRank Astra bench?