MurphyA/hacker-news huggingface dataset:
by Zamaamiro | 2025-05-25 21:30:59+00:00
I’m working on a research cybersecurity tool that attempts to combine the natural language understanding and information synthesis strengths of LLM-driven agents with symbolic logic and knowledge bases expressed as Datalog programs for determinism and declarative semantics.

The approach is to perform system scanning using a combination of LLMs and traditional algorithms to dynamically populate a Datalog knowledge base. The facts of the program are constrained to a predefined “model schema” of sorts and a predefined set of rules that encode specialized domain knowledge of how new facts can be derived from known facts.

We generate proof trees / attack graphs from the knowledge base and queries posed to it. The attack graph uses big-step semantics to plan and guide the execution flow, and the system dispatches to agents with tool use to fill in the details and implement the small-step semantics, so to speak. This may include API calls to a Metasploit Framework server or RAG over vulnerability and exploit databases.

We use Pydantic AI to constrain the LLM output to predefined schemas at each step, with a dash of fuzzy string matching and processing to enforce canonicalization of, e.g., software names and other entities.

Tl;dr: neurosymbolic AI research tool for cybersecurity analysis and pentesting.
by southernplaces7 | 2025-05-25 21:31:26+00:00
The boot lickers, self-interested cynics and useful idiots currently in the Republican party are indeed what's sustaining Trump. They could end his ambitions in a week if they collectively worked to, or at least if a sizeable minority of them did so, but so far, they'd much rather focus on their own benefit or personal partisan idiocies than realize that they're helping establish normalizations of deviant governing (such as it is) that will have repercussions for decades, and could later badly bite off a big bleeding chunk of their collective asses. It's stupid and self-serving nearly through and through among the deplorable pile of garbage that is most of the modern MAGA-GOP.

None of this is to defend the democrats much either. They have had their heads up their asses politically in so many crucial moments that they did a lot to facilitate the voting in of this bullying orange buffoon, and currently, they're just barely raising the bar from a bare minimum of effort in trying to fight some of this president's more destructive policies.

Then there are the top-level Tech CEOs and how they're so grossly bending over and presenting their asses to the new administration. With Musk at least there's an element of authenticity to it since he's been espousing the views he currently shows off for quite a long time, but with people like Bezos and Zuckerberg, and others, the cynical and fundamentally cowardly about-face is particularly grotesque to watch.
by loevborg | 2025-05-25 21:31:51+00:00
That seems too dogmatic. Does the fact that Foo has a static function that knows how to create its dependencies disqualify the class from being a case of DI?

class Foo { private nowFn: () => Date; constructor(nowFn: () => Date) { this.nowFn = nowFn; } doSomething() { console.log(this.nowFn()); } static create(opts: { nowFn?: () => Date } = {}) { return new Foo(opts.nowFn ?? (() => new Date())); } }
by 8fingerlouie | 2025-05-25 21:32:00+00:00
So that's the plan ? Make sure enough people die before reaching retirement age ?

My point is, if you're unfit to drive a vehicle due to cognitive or physical decline, you're probably also unfit for most jobs involving those skills, and yet you have to soldier on for 4 more years.

What happens when they're putting a new roof on a building next to a crowded street, and the 73 year old carpenter drops a bunch of tiles to the ground 6 floors below ? or he falls and slips off, taking another colleague with him ? Or he simply operates heavy machinery somewhere and gets caught in it.
by mananaysiempre | 2025-05-25 21:32:10+00:00
If you’re willing to parse object files (a much easier proposition for ELF than for just about anything else), another option is to have the source code mention the constants as addresses of external symbols, then parse the relocations in the compiled object. Unfortunately, I’ve been unable to figure out a reliable recipe to get a C compiler to emit absolute relocations in position-independent code, even after restricting myself to GCC and Clang for x86 Linux; in some configurations it works and in others you (rather pointlessly) get a PC-relative one followed by an add.
by l72 | 2025-05-25 21:32:16+00:00
I am working on a music recommendation algorithm for your self hosted music. Think of it like your personal pandora.

Backend is already working: Boldaric https://github.com/line72/boldaric

And a simple iOS native front end (which I haven’t submitted to the App Store yet). Tor Jolan https://github.com/line72/torjolan

It has been interesting tweaking the algorithms and models for various similarity searches.

I really like that it focuses on music characteristics and not metadata, so popularity of a song/artist isn’t even taken into account. This has really helped me explore my rather large music collection especially when I get stuck in a rut of listening to the same things.
by Mizza | 2025-05-25 21:32:23+00:00
I can see this being addictive! Would like a harder AI, though, it's not enough of a challenge.

What's the optimal strategy? I tried a few just for fun and found I got the highest score by taking all the corners to start, but I don't think it's a strategy which would work well against a better AI.

Looks like this is the AI's strategy: https://github.com/schaoss/wall-go/blob/6d5af58ffe9f4ce8e648... which is the opposite of mine. But I get more points!
by mystified5016 | 2025-05-25 21:32:45+00:00
Well, the US is a pretty young country. It was the last continent to be settled (by Europeans) and the history of (European) civilization here is just not very long.

The US does have prestigious organizations from early in its history, but that history is still pretty recent in comparison to Europe. All things considered, the US has a pretty good amount of prestigious history and accomplishments compared to classical European history. It's just hard to compare 18th century America to 5th century Italy. For as long as the USA has been a country, it's not significantly less accomplished than any historic European nation of the same age.
by ata_aman | 2025-05-25 21:33:12+00:00
Dora: https://dorafiles.com

It's a file explorer where it embeds your local file structure so you can use natural language to search your file system.

Started off as a local inference/vector-db only project last year and now also using cloud inference/vector-dbs for faster processing.

You can also use "agent-mode" to organize your files/folders, create items, move, copy and save content to disk directly from chat.
by jnfinitym | 2025-05-25 21:33:13+00:00
Today we forked MinIO after they removed some key features from their UI: The goal is simple: to preserve a fully open, fully functional, and production-grade object storage server that stays true to the original spirit of minimalism, performance, and freedom. MinIO once stood for minimal, high-performance, open-source object storage. But recent changes have shifted core capabilities behind a commercial license. We believe the open-source ecosystem deserves better. OpenMaxIO brings back what was removed and keeps it open for good.
by tzs | 2025-05-25 21:34:12+00:00
The US may have to raise the retirement age eventually but it could put off needing to do so for a long time by making the payroll tax flat instead of regressive. Currently here is the percent various workers pay:

Income Tax $10k 6.2% $50k 6.2% $100k 6.2% $150k 6.2% $200k 5.4% $300k 3.6% $700k 1.6% $1000k 1.1% $5000k 0.22% $10000k 0.11%

This comes about because it is structured as a two bracket tax rate:

Bracket Marginal Rate $0 - $176100 6.2% $176101 - ∞ 0%

Just make it 6.2% across the board and it will push off the need for further major reforms far enough to largely get past the peak in Boomer retirements which are happening now. Maybe gradually raise the rate from 6.2% (which has not changed since 1990) to 7.2% to be safe.

Once Boomers pass through the system and start dying off in significant numbers over the next 10-30 years there won't be any size differences between successive generations nearly as large. Gen X is smaller than Millennials, then Gen Z is between Gen X and Millennials in size, and the current generation is projected to be around the same size is Gen Z. This should make it considerably easier to keep the system working.

Polls show [1][2] that this approach (flat rate + 1% gradual rate increase) is the solution voters prefer by a large majority regardless of party affiliation when presented with all the solutions that have been proposed by politicians and experts.

Generally whenever Democrats in Congress introduce bills to address the problem this is the approach they go for, although sometimes they talk about keeping a lower marginal rate for people making between $176100 and $400000, like this:

Bracket Marginal Rate $0 - $176100 6.2% $176101 - $400000 0% $400001 - ∞ 6.2%

Republicans in Congress do not really have a coherent approach to this. There's a powerful group in the House called the Republican Study Committee, which is a large conservative caucus of around 190 members (~85% of House Republicans). They are the ones setting Republican policy in Congress on this issue.

According to them there are only three ways to fix Social Security: some combination of (1) raise the money it takes in, (2) reduce the amount it pays out, and (3) make up for any shortfall by paying some benefits out of the general budget.

They also say that #1 and #3 are off the table. Their proposals generally go for #2 via raising the retirement age. That does buy some time but not much, and runs into the problem that the Republican Party Platform says (caps in original) "FIGHT FOR AND PROTECT SOCIAL SECURITY AND MEDICARE WITH NO CUTS, INCLUDING NO CHANGES TO THE RETIREMENT AGE", and Trump also keeps saying that which doesn't leave them any options.

[1] https://www.aarp.org/social-security/survey-raising-taxes/

[2] https://www.nasi.org/wp-content/uploads/2025/01/NASI_SocialS...
by amag | 2025-05-25 21:34:17+00:00
This is truly sad. As a Swede I fear my country may follow suite. The retirement age in Sweden used to be 65 and now it's 67.

Looking at older people around me, most lead a much less active life after 75. So, if we were lucky we used to have some 10 good years of doing whatever we wanted before old age and age-related diseases start affecting us so much we become limited to a much smaller world. But now we have maybe eight years and if we follow Denmark, five years.

I think if you've put in 40-45 years for the man, you should be allowed to have some good 10 years for yourself. Travel, play golf, cross a continent in a camper or climb a mountain.
by adhamsalama | 2025-05-25 21:34:21+00:00
I'm writing an easy to use APM platform in a single executable (plus the database).

I tried self-hosting Sentry recently and found out there are a lot of moving parts, which makes sense for their scale and use case.

I was wondering if I could build something small and not multi-tenant. So I started experimenting with writing a server (in Go) that collects OpenTelemetry data and inserts into Clickhouse, an API for retrieving data/statistics (P95 in a time range, etc...), and a frontend (React.js) that displays them. All of this in a single executable file (yes, including the frontend, but not including Clickhouse).

This is all very new to me so I'm learning Go, Clickhouse and OpenTelemetry at the same time.

https://github.com/adhamsalama/nabatshy
by NBJack | 2025-05-25 21:34:36+00:00
That link is kind of a fever dream of information a little ways in. Are you sure you meant to post that?

"First, remove the smartphone camera’s infrared filter as a whiteboard is on the floor. The beginning of the CCD chip is the scar we need to eliminate. Enter the IRF address, and use a hot air gun to remove it and your piece."?
by thaumasiotes | 2025-05-25 21:34:42+00:00
> If A -> B is Not logically equivalent as If Not A -> Not B. Many make this mistake.

But many people making a mistake won't show that everything anyone says is an example of that mistake. Your observation isn't relevant here, because a claim of that form hasn't been made. We don't have "not", we have "less", which behaves differently.

For the claim "f(a) > f(b) -> g(a) > g(b)", it is trivial to show that "f(a) < f(b) -> g(a) < g(b)". These two claims are identical to each other. The proof is one step long.

In the present context, we have f(x) representing "quality of the writing in x" and g(x) representing "likelihood that the ideas in x are correct".
by arandomusername | 2025-05-25 21:35:01+00:00
> It’s more of a subsidy for the US military-industrial complex.

That's a funny way to twist it. US is providing aid to Israel. Billions a year.

US also provides indirect aid, through protection or aid to neighbouring countries (e.g Jordan and Egypt) as bribes so they play nice with Israel.

And who knows, with the way the Iran thing is panning out, you might be paying a lot more if US decides to bomb Iran on Israel's request
by abduhl | 2025-05-25 21:35:28+00:00
How do you determine scalpers? I buy 6 tickets for me and my friends and we all get sick. Are we scalpers? I buy 1 ticket and a work trip gets foisted on me the next day so I try to resell. Am I a scalper?

Won’t everyone just charge the ticket buyer the price of the bond? So this still only harms the fans that want to see the show. The scalpers just need to have more up front capital in your system.
by nye2k | 2025-05-25 21:35:31+00:00
We’ve been using Lottie for years now for certain PBS KIDS brand animations and it has multiple benefits over other formats. As with any runtime rendering in a 2D plane, it takes performance hits at scale. Lottie implements into all our pipelines and workflows nicely; game, app, video. We run them as idle bg animations on the home layer across many platforms - and then deliver static experience for devices that don’t support them, like Roku.

After Effects is a beast, and with this workflow a single person can animate a loop that we can then export the Lottie/Bodymovin json, Mov for Broadcast & YouTube, and simplify into an SVG for low end users.

Not to mention it has all been a great stop gap after Flash.

Now we use Rive too, and can import those json animations into new workflows. I have personally worked with several core folks in this animation space including Hernan, Mat Groves of Pixi, Matt Karl of CloudKid, all whom tackled these late Flash transitions, with plugins, new export formats and math.

I have learned that all of these efforts have their place, and they all have their own FORMATS which are often incompatible with each other because of the way major softwares organize animation over a timeline.

Choose your battles, pick the right tool for the project.
by pembrook | 2025-05-25 21:35:32+00:00
The USSR and Yugoslavia and Albania and Cuba and North Korea and Vietnam and China pre-2000s have all had far higher tax rates than Denmark during their worst times, so probably not a great correlation.

Denmark is like all the other Nordic countries culturally, except they have much easier direct geographic lines to Central Europe. So it’s basically what you get when you combine the Nordic model (tiny homogenous Lutheran population) with more advantageous geography. Finland is Denmark with extremely unfortunate geography.
by mrbungie | 2025-05-25 21:36:00+00:00
It is a feelpiece, but I don't think that's necessarily a bad thing, at least it invites discussion.

Also, framing it as "us vs them" misses the point. For instance, in my world (Data & Analytics), there's no universe where Spark makes sense for <1TB data or using Kafka for what could be solved using with more simple and predictable batch processing, yet we still see them used in wild implementations that clearly don't need that scale. Those implementations can end up needing a lot of headcount and budget for support without adding any value whatsoever and sometimes even ending up in a more brittle platform. Complexity often comes from misguided choices, not just ego.

I've seen enormous data teams at startups, by that I mean bigger than WhatsApp engineering team in its prime pre-Meta (~30 people). That's a red flag, especially when they're processing far less data.
by aantix | 2025-05-25 21:36:04+00:00
A new YouTube app/player, for my kids.

It allows us to control the algorithm. It’s all LLM translating to YouTube search queries under the hood.

Visually it looks the same. The suggested videos come from predefined buckets on topics they love.

E.g. 33% fun math, 33% DIY engineering, 33% creative activities.

Video recommendations that have a banned word in the title/desc don't get displayed e.g. MrBeast, anything with Minecraft in it, never gets surfaced.

For anyone interested in using it, send me an email.

I'll put you on my list. And you can contribute ideas to our community Google Doc.

jim.jones1@gmail.com
by kemyd | 2025-05-25 21:36:34+00:00
https://shuffle.dev

For the last few weeks, we have been working on catching up on features for vibe coders (prompt -> project), but now we are back to our strengths (visual editor and new beautiful UI libraries for Tailwind CSS, Bootstrap, and more).

We realized there are just too many apps for vibe coders, and it would be better to work on something unique that we are really good at!
by devman0 | 2025-05-25 21:36:38+00:00
I think JetBrains model is best with thier IDE. You purchase, and get one year of updates, if you don't renew you get a perpetual license at whatever update level your update license ended at, and you can restart at anytime.

This avoids games about what is or is not a "new version" or shipping minor updates as versions or any of that nonsense, it's just updates generally.
by mingodad | 2025-05-25 21:36:52+00:00
I'm collecting a collection of PEG grammars here https://mingodad.github.io/cpp-peglib and Yacc/Lex grammars here https://mingodad.github.io/parsertl-playground/playground both are wasm based playgrounds to test/develop/debug grammars.

The idea is to improve the tooling to work with grammars, for example generating railroad diagrams, source, stats, state machines, traces, ...

On both of then select one grammar from "Examples" then click "Parse" to see a parse tree or ast for the content in "Input source", then edit the grammar/input to test new ideas.

There is also https://mingodad.github.io/plgh/json2ebnf.html to generate EBNF for railroad diagram generation form tree-sitter grammars.

Any feedback, contribution is welcome !
by wyager | 2025-05-25 21:37:30+00:00
> I think if you've put in 40-45 years for the man, you should be allowed to have some good 10 years for yourself.

Who do you think would "allow" this? God? This is a resource constraint imposed by reality itself catching up to an excessively idealistic set of policies; this policy decision is downstream of that, not arbitrary.
by tialaramex | 2025-05-25 21:38:00+00:00
Statistically we know that humans who live somewhere that you'll just die in the regular environment due to climate behave very differently from humans who live in a temperate climate like the UK when the actual temperature warrants the same behaviour. If you live in Nunavut or the Iran / Pakistan border you already knew that you can just die from temperature extremes and so you need to ensure you stay at a survivable temperature, in Wales it's quite unexpected.

As a result you actually get many more deaths from extremes in countries where the usual climate is temperate like Britain, even when the actual temperatures aren't as extreme as in countries where that would be more common.
by ghaff | 2025-05-25 21:38:04+00:00
I don't know how true it still is with law being, to a fair degree, perhaps primarily a good career path for those who can land at white-shoe firms and federal court clerkships. But I've known a lot of people who drifted into law school from liberal arts and related because they just didn't have great job prospects. And quite a few didn't even end up practicing law.
by lalaland1125 | 2025-05-25 21:38:07+00:00
> What does that part about VAT have to do with this? VAT is essentially a sales tax with a more involved collection process.

To add some further context that helped me understand VAT:

Sales taxes are great, with minimal dead weight loss and distortion, but have the downside of encouraging black markets since it's easy to avoid reporting final sale transactions.

VATs are designed to be mathematically the same as sales taxes, but robust to black markets. The sales tax is captured on the manufacturing end, which is much harder to avoid reporting for a variety of reasons.
by arp242 | 2025-05-25 21:38:13+00:00
> NO_COLOR is far from universally supported

I never claimed that. The sudo or ssh configuration is up to you. Or else there's |cat, which often works when NO_COLOR doesn't.

Either way, terminfo was never intended to allow users to disable colours. Certainly not via TERM=dumb – that was always a hack. If you want to disable colours then there are better ways.
by const_cast | 2025-05-25 21:38:15+00:00
Bring in more young people via economic opportunity and immigration.

Making kids easier to have really only has two real options:

1. Go back down the development timeline of a nation and remove rights from women (bad).

2. Implement more social programs to incentivize children.

The reason we need to do 2 now and not in the past is we've developed. Women have rights now, and we need real reasons for them to have kids, not fake reasons like we had in the past.
by koch | 2025-05-25 21:40:14+00:00
What I don't quite understand is why we haven't merely come to the conclusion that, like everything else, the internet costs money. Running servers and services costs money, and by giving it away for "free" from the get-go encases certain types of problems in the platform itself. I'm not talking about paying your ISP, I'm talking about accessing websites.

I guess what I'm getting at is that there is no cost to making a request over the internet. Why not? Why doesn't every http request have a corresponding price associated with it? You can access the resource if you pay. I imagine this would be a minuscule amount ($0.00001 or less per request). Then, instead of trying to solve for monetizing eyeballs or personal data, these problems are solved with economics.
by tallytarik | 2025-05-25 21:40:16+00:00
Working on expanding https://iplocate.io - an IP geolocation and threat data service I've worked on since 2017.

I've found it really satisfying to solve the data challenges that come along the way, from "where on earth could this data come from" to collecting, storing, parsing, validating and serving constantly. It's also - by nature - something that's never going to be "done". There's always something to improve. I love it!

We now offer more types of data (ASN/whois, proxy/threat detection, so on) than most other providers, more accurate and more frequently updated, at a tenth of the cost, which is something I'm really happy about.

For anyone interested, you can make 1,000 requests day free, or reach out if you have an open source/public interest project for an unlimited key or access to the data.

I'd also love to hear any suggestions for additional data types to add.