skysight-inc/HackerNews huggingface dataset:
I know the US can be gun obsessed at times but I struggle to believe that even a professional hunter who frequents the range in his spare time fires as many rounds in a given day as a Navy SEAL who's entire job description revolves around being trained to deliver rapid and precise attacks under extreme pressure, which is only possible with incessant drills and practice.

People that hunt and shoot guns their whole lives don't shoot guns their whole lives. They shoot guns a few times when hunting and then a lot of times at the range but at a leisurely pace. This is like comparing a package delivery guy who likes jogging to an Olympic athlete.
I swear I’ve read about something similar happening to athletes in bobsledding due to the vibration of the brain.
To follow the analogy, the reason they did it is because the "DEI outrage machine" needs fuel, and this was the next low-hanging fruit. To the machine, women aren't as important as perpetuating itself, so hence we now are starting to get women drafted into traditionally (and oddly, actually gender appropriate) male-roles that are actually dangerous.
The AI-generated laptop images with incoherent logo and keys are the cherry on the soullessness.
> We have lots of formally verified programs that show useful work can be done here

Yes, if you start writing your program with the explicit intent of making such proofs possible, then it can be done. What Rice's theorem says is that you can't expect to be able to do so when given an arbitrary program, not that it's always impossible.
This is a welcome initiative speaking from a personal and professional perspective, and as CEO of an independent search engine; we are all too well aware of the power of money and defaults.

This immediately comes to mind as akin to the Signal vis-a-vis WhatsApp etc. Here there is an obvious reason to use Signal and a well-understood proposition. What might it be for Ladybird? And how will you differentiate?
Would another language have avoided this?
> 501(c)(3) non-profit

How come a european project becomes an american foundation?
I would say it's about the same. jj adds some concepts, like change/revisions and revsets, but it also has lower cognitive load than git on things like branches, the index, and the CLI. The ease of undoing anything alone makes it way easier to learn jj, since you can be fearless.

It's not quite clear to me how much simpler DVCS concepts can be.
Chatbot Platform Poe Allows Users to Download Paywalled Articles on Demand
oh this is nice! Thanks!
"The network is the computer." It was a shortlived thing.
Infidelity exists. Serial monogamy exists. No-strings liaisons exist. Polyamory exists. Etc. Single mothers exist even with an equal number of men and women. The exact legal nature of marriage is not going to stop any of these. Enormous numbers of people have lived and reproduced without any legal or financial protections at all, including the majority of your ancestors.
npm says hi, how do you like your eggs in the morning?
Man I feel like I'm missing something. Figuring out whether a single given program halts is decidable, it's figuring out an arbitrary unknown problem (or all of them rather) that is undecidable. So you can formally verify programs but you can't formally verify all programs with the same algorithm.

Secondly, what do you mean by the idea that quantum computation makes the problem decidable? This isn't a complexity class issue, and my understanding is that quantum computation can't compute anything that turing machines can't, they just are able to compute certain algorithms faster. Am i wrong? Among other things we can simulate quantum computers on turing machines, just without the complexity advantages.

Like think about what you're saying: of course we can prove that "exit(0)" halts, it'd be absurd to say otherwise. So we're clearly referring to a harder problem—proving whether arbitrary programs halt with a single algorithm in finite time.

If it helps, Roger Penrose misunderstood the halting problem and basically said "humans aren't practically constrained by godel's incompleteness theorems (equivalent to the halting problem I believe) so consciousness is quantum". This might yet be true but human computers are still bound by the same computational constraints computer's are.

It's been a bit since my computer theory courses so apologies for any botched terminology or understanding.
Show HN: Tegon: Open source alternative to Jira and Linear
Hey HN! We're Harshith, Manoj, and Manik, and we're thrilled to re-introduce Tegon, an open-source issue tracker built with engineers in mind. Here is our demo video (https://www.loom.com/share/b664b01e9b064a02be5791c12b77a107?...)

You can check the demo on https://demo.tegon.ai with these credentials:

Email: elon@xyz.com

Password: XfFNw6GwVJVQv6PA

Traditional issue trackers like Jira can be slow, bloated, and bogged down by unnecessary processes. Tegon takes a different approach, leveraging AI agents to streamline workflows and empower your team.

Tegon is AI-first

- Blazing Fast: Loads data instantly from your local machine for smooth navigation (powered by real-time background syncing).

- AI-powered Assistant: Automatically suggests titles, labels, and assignees, and even identifies duplicate issues while you create new ones.

- Smarter Summaries: Uses AI to generate concise summaries of issue activity, keeping you focused.

- Natural Language Search: Filter issues with ease by simply typing in plain text.

- Automated Triaging: AI saves time by automatically categorizing issues coming in triage

What's coming next

Tegon isn't stopping there. We're actively building features to:

- Prioritization Powerhouse: Groom and prioritise unscoped requirements for efficient development (check out our GitHub issue for more details

- Personal Section: A dedicated personal section containing My issues and My notes

- Context Enricher Agent: Tegon Agent will flag issues with insufficient descriptions to prevent misunderstandings

- Prioritisation Agent: Assist team leads in managing sprints by analyzing tasks, priorities, and bandwidth in real-time, suggesting adjustments for optimal workflow. [Coming soon]

Key Sources

Website - https://tegon.ai/

Demo Video - https://www.loom.com/share/b664b01e9b064a02be5791c12b77a107?...

We Heard You!

We appreciate your feedback on our previous design. We've spent the last month revamping Tegon's look and feel to provide a fresher look.

Let's Build Together!

We're eager to hear your thoughts and keep improving Tegon. Feel free to share your feedback in the comments below!
2026? It’s so far away it will prob be forgotten by the time anyone can use it…
As a country we have a bit of a fixation on death. During the pandemic, some studies and news sources started using rip.ie as an input, because, while formal death reporting outside hospitals in Ireland is lax (it's typically done by family if there are no unusual circumstances, can be done up to 12 months after death, and there are no real consequences for not doing it at all), people still get their death notices in the papers, so death notices were far less of a lagging indicator for covid mortality than formal death reports.

(Another way in which this system showed its cracks during the pandemic: presumably because of the flimsiness of the formal system, the CSO bases its population estimates on modelling. This lead to, at one point, the government reporting that 107% of the oldest age cohort had been vaccinated, because the CSO models significantly underestimated how many very old people were still alive.)
SEEKING FREELANCER | Remote | US/EU/India

Zolidar is a primarily remote team working on an app to help business owners evaluate Employee Ownership as an exit strategy (think family businesses that don't have succession and the owners are nearing retirement). The platform is close to a soft launch and is a NextJS/Tailwind/tRPC/Prisma frontend for a financial report (input and output), a complex backend model that's build in Excel and a customised LLM for answering questions about the financial report and employee ownership in general.

We're looking for a contractor for 6-12 month stint with the possibility to extend. Primarily for frontend web work, but some ability to go down the stack would be helpful. The team is remote but mostly based in India (with SF bay area based Indian founders). With the exception of myself (Antipodean nomad) and a developer in Ukraine. Dev team is currently 3 people including myself + 1 full time designer, 1 part time designer + non-technical team members.

If you're based in India in general, and Pune more specifically, that's a perk but not a requirement.

Get in contact at luke@zolidar.com

No Agencies (development or recruitment)!

Note: you should be prepared to take calls in the very limited crossover between PST/PDT and India (8:45am PDT, ~9pm India). Wherever you happen to be in the world.
It depends on what you mean by “Mozilla’s fate”. In general, we are setting a much narrower goal than Mozilla and hope that focusing on only browsers will allow us to keep things simple and more sustainable financially. :)
A classic: https://www.joelonsoftware.com/2000/04/06/things-you-should-...

>> "The idea that new code is better than old is patently absurd. Old code has been used. It has been tested. Lots of bugs have been found, and they’ve been fixed. There’s nothing wrong with it. It doesn’t acquire bugs just by sitting around on your hard drive."

>> "Each of these bugs took weeks of real-world usage before they were found. The programmer might have spent a couple of days reproducing the bug in the lab and fixing it. If it’s like a lot of bugs, the fix might be one line of code, or it might even be a couple of characters, but a lot of work and time went into those two characters."

>> "When you throw away code and start from scratch, you are throwing away all that knowledge. All those collected bug fixes. Years of programming work."

It's an older piece, but like good old code, it still holds up. Newer tools and technology have improved the creating of new code, but they've also made improving old code easier in equal measure.
If you the amount of features in Chrome and Firefox (just those in the standard, nothing extra), you would know "mature well to compete" is a long way away, if not impossible.

And I don't see any problem with forking. Tons of browser bugs were found, reported and fixed exactly because companies forked them. And remember that Blink is forked from Webkit.
Good to see some progress in the space, as NMS always felt like a very hacky solution to me.

Also good that the YOLO moniker is being challenged. After pjreddie went off to do better things, I've always felt a bit sad about random parties co-opting the YOLO name. And then with Ultralyics and their weird approach to monetizing YOLOv8 "yeah uh so it's open source but if you actually train a model plz fork over your money)... not a nice look.
This is ridiculous academic click-bait. Here is a quote from Turing's 1936 paper:

"If a computing machine never writes down more than a finite number of symbols of the first kind [i.e. 0 or 1], it will be called circular. Otherwise it is said to be circle-free."

He then goes on to prove that "circularity" as he has defined it is undecidable.

So no, he never defines "halting", he just talks about whether or not a machine ever prints a finite number of 1's and 0's. Showing that these questions are equivalent is an elementary exercise.

He also proves that "there can be no machine £ which, when supplied with the S.D of an arbitrary machine AV, will determine vhether AV ever prints a given symbol (0 say)." Which, again, is trivially equivalent to the question of whether or not the machine ever enters a particular privileged state.

Saying that Turing's paper was not about the halting problem because it doesn't use the word "halt" is like saying that the EPR paper was not about entanglement because it doesn't use the word "entangled".
Hey Andreas! Why you don’t just fork the code of Firefox or Chromium's and start from that point, building a Browser company like some others?
Now there are three "newish" Markdown / PWA / Note apps that I am aware of:

- Silverbullet.md (https://silverbullet.md)

- Eidos (https://eidos.space/)

- and this ofc (https://edna.arslexis.io/)

Is someone aware of more of these?

I am liking all of them and they seem to have different perspectives, goals and philosophies.

Sadly none of them have a quick capture experience on android that I am satisfied with...
> Yes, by restricting things to a non-Turing Complete subset.

No, not necessarily. There are procedures that _can_ verify properties against Turing-complete and even infinite-state systems. It's just that no _general_ (as in, sound and complete) procedure can exist.
i'm only aware of the one supporting cape town. do we have more for the main grid?
And the core premise I'm disagreeing is that countries on purpose draft only men, because women are kept to be bred to repopulate the country in case of military disaster.

IF that were the case, governments would do something, anything, to encourage such behaviour (one man getting multiple women pregnant) after the war is over. Nobody is able to come up with any examples of anything like that happening, which again leads me to believe that the premise is bullshit and the real reasons why only men are drafted are somewhere between biology and misogyny.
>instead of implementing them in the language it’s shoe horned in as a library feature

Quite the opposite. Proliferating the language itself with ad-hoc constructs would be shoe-horning.
> we have almost half a million lines of modern C++ to maintain. ...We are actively evaluating a number of alternatives and will be adding a mature successor language to the project in the near future. This process is already quite far along, and prototypes exist in multiple languages.

What languages have prototypes and where can I learn more?
While that is true, you have years and years to get the proper PPE in the artillery before you ever need to lob shells.
I also burned myself on an overambitious machine learning project in the past. I had and still have little practical experience but I think I learned a common beginner lesson. Existing ML architectures apply worse to new problems than we think. The only sane way to ML is to reproduce something that works and then make small incremental changes.
Regarding accessing from any device: at least for desktop you can store notes on disk, in a folder managed by DropBox or OneDrive or Google Drive (https://edna.arslexis.io/help-win#storing-notes-on-disk).

You can then access the note on every computer where you replicate that folder.

This doesn't cover accessing from mobile or computers you don't own but it's just a different kind of a problem of auth.

Edna is actually a self-contained go binary that you could run yourself on a server or your desktop.

Currently the backend (Go server) is there to just serve HTTP files but it wouldn't be hard to add storage API to Go server and modify Edna to use that. I already have 2 storage backends: local storage and file system api.

I would say it would be at most a few days of work to make it work similarly to SB but that's not something I plan right now. I still have some UI functionality to add to Edna and then we'll see.
This is built on swc, and they compare themselves to vite, which is built on esbuild. So the answer to your question is that they claim to be roughly twice as fast as esbuild (-based bundlers) in the benchmark in this article.
I was about to say that it had a reason to look like ass in that they never really worked on it at all to begin with, being focused on the browser, which wasn't even good enough for anything more than dev work, rather than the presentation of it.

But I see now that they actually updated the site.
thought he quit because didn’t want to become complacent in his work being used in wars, oppressive regimes, etc.
Materialize | https://materialize.com/ | Staff Security Engineer | $200- 230k

NYC (HQ) or United States

We are looking for a Staff Security Engineer on our Cloud team who will own the security of our infrastructure and product. (5+) years of experience as a security-focused engineer.

https://boards.greenhouse.io/materialize/jobs/5220351004
SEEKING WORK / JAPAN / REMOTE
Willing to relocate: no

Technologies: Startup Tech Consulting, Devops, Svelte, React, Python/Django, Go, AWS, Docker, Terraform, Kubernetes
Resume/CV: https://www.linkedin.com/in/philisaac/ [or] https://philisaac.com

Email: isaac.phil [at] gmail [dot] com

Sr. full stack engineer and manager, 8+ years experience. Former co-founder and head of engineering at a successful startup (>1M MRR).

I help scaling startups find their footing whether through infrastructure, architecture, refactors, or bootstrapping new products. I value quick and open communication and fast iteration. Open for new medium and long term projects.

<3
It supports capitalistic predatory tactics that erode our society. Better to exclude them...
The new logo's shape and colours look reminiscent of Helix's https://helix-editor.com, but I agree that the actual ladybird was nice.
Don't throw money away into non-browser related projects while constantly pissing off your loyal userbase.
Very useful but $7 per movie seems like a solty price…
Location: Oslo, Norway
Remote: Yes (preferred, due to disability)
Willing to relocate: No
Technologies: Nodejs, React, React Native, TypeScript, Sailsjs, Fastify, Frontend, REST api, MySQL, PostgreSQL
Résumé/CV: https://www.linkedin.com/in/absqueued/
Email: hello@shekhardesigner.com
Location: Tokyo, Japan Remote: Yes Willing to relocate: no

Technologies: Startup Tech Consulting, Devops, Svelte, React, Python/Django, Go, AWS, Docker, Terraform, Kubernetes

Resume/CV: https://www.linkedin.com/in/philisaac/ [or] https://philisaac.com

Email: isaac.phil [at] gmail [dot] com

Sr. full stack engineer and manager, 8+ years experience. Former co-founder and head of engineering at a successful startup (>1M MRR). I help scaling startups find their footing whether through infrastructure, architecture, refactors, or bootstrapping new products. I value quick and open communication and fast iteration.

Open for medium to long term consulting/contract work, or full time work with small companies working on exciting products.

<3
2 years is far away? You must be very young or very close to death I assume...
It doesn't need to be remembered until then. If it matures and gets usable you will read about it again ;)
Snuggle fabric softener immediately springs to mind here
Hey kosolam! There are already many forks and ports of existing browsers. Do we really need another one? :)

By building a new engine, we can increase ecosystem diversity and put all these open standards to the test. We regularly find, report, and sometimes even fix bugs in the various web standards - stuff we find just by being the first to try and implement everything from scratch in a long time!

We also believe it’s good for the world to have more engines that aren’t directly or indirectly funded primarily by the advertising industry.
Just to clarify this paper was released in April 2023.
> And even let to Caesar fighting to keep himself in office at all times to avoid inevitable prosecution

That's exactly what Silvio Berlusconi did in Italy.
I think this has historically been pretty limited in Europe because it’s seen as culturally inappropriate.
Thanks for the heads up. There is an email address to send applications to in the posting, and I am getting the applications opened up again. Thanks again!
Here is one: https://vslavik.github.io/diff-pdf/
How does ladybird compare to Servo?

https://servo.org/
Are you familiar with Java?

If so, a web bundler is like a build tool which creates a single fat jar from all your source code and dependencies, so all you have to "deploy" is a single file... except the fat jar is just a (usually minified) js file (and sometimes other resources like a css output file that is the "bundled" version of multiple input CSS files, and other formats that "compile" to CSS, like SCSS [1] which used to be common because CSS lacked lots of features, like variables for example, but today is not as much needed).

Without a bundler, when you write your application in multiple JS files that use npm dependencies (99.9% of web developers), how do you get the HTML to include links to everything? It's a bit tricky to do by hand, so you get a bundler to take one or more "entry points" and then anything that it refers to gets "bundled" together in a single output file that gets minified and "tree-shaken" (dead code elimination, i.e if you don't use some functions of a lib you imported, those functions are removed from the output).

Bundlers also process the JS code to replace stuff like CommonJS module imports/exports with ESM (the now standard module system that browsers support) and may even translate usages of newer features to code that uses old, less convenient APIs (so that your code runs in older browsers). And of course, if you're writing code in Typescript (or another language that compiles down to JS) your bundler may automatically "compile" that to JS as well.

I've been learning a lot about this because I am writing a project that is built on top of esbuild[2], a web bundler written in Go (I believe Vite uses it, and Vite is included in the benchmarks in this post). It's extremely fast, so fast I don't know why bother writing something in Rust to go even faster, I get all my code compiled in a few milliseconds with esbuild!

Hope that helps.

[1] https://sass-lang.com/documentation/syntax/

[2] https://esbuild.github.io/
I have seen IE's rise and fall. Netscape's rise, burn and rebirth as Firefox, saw Safari as a fork of KHTML and rise of Chrome.

Ladybird might be added to this list. It's not impossible. It'll be a winding and hard road to go, but it is not a path with no end.

You don't need to fork a codebase to fix its bugs. It's GitHub's workflow (fork -> PR -> merge). What I meant, as noted in this thread, is a hard and closed fork propelled with money and corporate greed, which eclipses the open and primary version and drown it in the process.

EEE'ing it, basically. This is why I prefer GPL (preferably V3+). If you want to improve it, it's open. If you want to monetize and EEE it, then nah. It's not allowed.
I've heard Andreas Kling say that they will not accept donations that have strings attached. This means they can never sell search engine placement to Google for instance. This is what ties Mozilla to Google.
Yeah, the reason I could add Go quickly is because I already did the hard work of figuring out how to execute Go code when I built https://tools.arslexis.io/goplayground/

Executing JavaScript safely is actually hard. You don't want to just execute code in browser context because then an attacker could trick you to execute his JavaScript code and e.g. grab all your notes.

So you need to sandbox it via e.g. iframe or by running using wasm-compiled quickjs

Which is something I might do.

Additionally I'm thinking about allowing to run a javascript function over content of a block so e.g. you could base64-encode a text block etc.
And I still can't boot my Linux system in a reasonable time. Perhaps the true problem that needs to be solved is that everybody is somehow (forced at) reinventing the wheel every time.
Htmx does not play well with content security policy
I remember the glorious AIX machines we had which could book from tape backups made with a simple "mksysbk" command. :)
> You have not shown that nuclear power and solar power are more expensive than pumped-storage hydropower and solar power.
Mozilla is dependent on advertising money from Google, is that only because they ventured in other directions? I'm not intimate with their finances, but it seems just building a browser is a large enough - expensive - R&D effort.

Are you planning on charging your users?