MurphyA/hacker-news huggingface dataset:
by ahnick | 2025-05-02 01:30:34+00:00
How exactly is the bottom going to fall out? And are you really trying to present that you have practical experience building comparable tools to an LLM prior to the Transformer paper being written?

Now, there does appear to be some shenanigans going on with circular financing involving MSFT, NVIDIA, and SMCI (https://x.com/DarioCpx/status/1917757093811216627), but the usefulness of all the modern LLMs is undeniable. Given the state of the global economy and the above financial engineering issues I would not be surprised that at some point there isn't a contraction and the AI hype settles down a bit. With that said, LLMs could be made illegal and people would still continue running open source models indefinitely and organizations will build proprietary models in secret, b/c LLMs are that good.

Since we are throwing out predictions, I'll throw one out. Demand for LLMs to be more accurate will bring methods like formal verification to the forefront and I predict eventually model/agents will start to be able to formalize solved problems into proofs using formal verification techniques to guarantee correctness. At that point you will be able to trust the outputs for things the model "knows" (i.e. has proved) and use the probably correct answers the model spits out as we currently do today.

Probably something like the following flow:

1) Users enter prompts

2) Model answers questions and feeds those conversations to another model/program

3) Offline this other model uses formal verification techniques to try and reduce the answers to a formal proof.

4) The formal proofs are fed back into the first model's memory and then it uses those answers going forward.

5) Future questions that can be mapped to these formalized proofs can now be answered with almost no cost and are guaranteed to be correct.
by bmitc | 2025-05-02 01:30:48+00:00
For (2), this is often misunderstood and mistated.

The JVM includes no GUI framework. .NET also includes no GUI framework. .NET happens to have a specific framework for Windows. But just like the JVM, there third-party GUI frameworks such as MAUI, Uno, Avalonia, and others.

So no, there's isn't a "large part" of .NET that isn't cross-platform.

> 3. the level and quality of official tooling provided for Linux and macOS is incomparable to their Windows offerings

What are you referring to here?
by zeroq | 2025-05-02 01:31:17+00:00
@types

I hear you. As someone who lost rest of his hair during last 10 years talking to frontend kids claiming that types are for grannies - I'm on your side. But having that said, sqlite has a niche application and you can enforce types on app layer, the same way you do it with web apps. Trust, but verify. Better - don't trust at all. At the end of the day the way I see it - it's just like protobuffers et al. - you put some data into a black box stream of bytes and it's your responsiblity to ensure correctness on both ends.

@serverless

It's twofold. On one hand you have the ability to move faster. On the other you have less moving parts that need maintenance and can break. Plus, for me personally, it's the default mindset. Let me give you an example - in 2025 still most online shops have filters that will trigger a full reload of the web page. When I'm clicking on TVs in a shop I don't need to reload the webpage everytime I click on something, the app could easily got the whole stock in single json and filter results on the fly while I'm fiddling with filters. Sure it doesn't work for amazon, but it works for 95% of shops online. Yet no one is doing it. Why?

My point - I'm looking for a way to simplify processes, and for some niche applications it's just more convenient.
by rootbear | 2025-05-02 01:32:05+00:00
It is frequently stated that Hawking used a DECTalk system, but in fact he did not. He used a Speech Plus CallText 5010. They sound similar because DECTalk and CallText were both based on the MITalk work of Dennis Klatt. The full story can be found here:

https://computerhistory.org/blog/how-dectalk-gave-voice-to-a-genius-engineering-stephen-hawkings-wheelchair/
by Manuel_D | 2025-05-02 01:32:15+00:00
A ring camera can do image recognition and store durations of video where a person is in frame. I'm not sure what the privacy difference is between these two. Is lidar and radar recording that much more of a privacy concern than video recording.

I'm pretty sure between traffic cameras and security cameras lots of commuters on th street are being filmed. With or without Waymos
by brink | 2025-05-02 01:32:46+00:00
Ephemera (xmtp) | Senior or Staff Software Engineer | Full-time | Remote, USA timezones preferred | https://xmtp.org

We're looking for cryptographically-minded, privacy-conscious engineers to join us.

Staff Software Engineer, React Native — This is a killer mobile app dev that has deep understanding of RN, has built consumer apps.

Staff Software Engineer, Distributed Systems — This person has worked on large distributed systems and will join the decentralization team to build resilient, scalable infrastructure for messaging. Languages: Go, Rust

Staff Software Engineer, Protocol (Multiple open seats here!) — These hires will work alongside the protocol team in continuing to improve and harden XMTP. Languages: Rust, Kotlin, Swift, Javascript

Staff Software Engineer, Partner Enablement — This is a highly technical, product minded engineer that has a passion for supporting integrators and key partners building with XMTP

Interested? Send your resume to dakota atsign ephemera hq.com Replace the atsign and remove the spaces, of course.
by daniel31x13 | 2025-05-02 01:33:22+00:00
> Does the web front end support themes?

Yes[1].

> Does it have an API that would allow development of a native desktop front end?

Also yes[2].

[1]: https://blog.linkwarden.app/releases/2.9#-customizable-theme

[2]: https://docs.linkwarden.app/api/api-introduction
by miraclestyle | 2025-05-02 01:34:02+00:00
Location: Los Angeles, California

Remote: Remote Preferred, Hybrid OK

Willing to relocate: Yes, anywhere in California

Technologies: Typescript, JavaScript, Python, Next.js, Tailwind CSS, PostgreSQL, MySQL, DynamoDB.

Résumé/CV: https://www.linkedin.com/in/elvinkosova

Email: elvinkosova at gmail dot com

I have extensive experience building online marketplaces and working in small to medium-sized startups.
by throw1223323 | 2025-05-02 01:34:36+00:00
It's kind of funny but also depressing watching all the frontend people try to force Javascript onto the backend. They've been slowly rewriting their tooling using more suitable languages:

- esbuild (Go) is 100x faster than webpack and friends

- Bun (Zig) and Deno (Rust) are ~2x faster than Node

- Typescript recently announced a rewrite in Go for an expected 10x performance gain

Maybe one day they'll realize that those languages are good for more than developer tooling? Maybe they can even be used for serving web content?
by utkarsh858 | 2025-05-02 01:34:46+00:00
Opindia has no hesitation on declaring itself as a right leaning site but frequently publishing misinformation? That's exaggeration. It backs whatever it writes with independent research, attached videos documents, cctv footage, other news houses as best as it can. Sure it made its mistakes but not so much as other media houses in India.

There are much worse media houses that opindia especially on the left.

And Wikipedia? That's neither reliable or consistent. It itself has been shown to be edited by whimsical propagandists to serve their own means in past.

The articles sources can be checked and not only opindia other news houses have reported on Gurpreet Singh Pannu
by ksec | 2025-05-02 01:35:28+00:00
>Lots of cynical takes in this thread - and I get it, there isn't a guarantee they won't relicense again in the future (they have a CLA that would let them) and people feel betrayed by the last license change.

Oh good. There is still hope of it returning to the original BSD license. ( I am still using good old Memcached )
by MisterTea | 2025-05-02 01:35:45+00:00
I've learned to stop and appreciate the little mind numbing things in life: Walk to local stores, shops, markets, restaurants, Washing dishes by hand, cleaning up house routine, doing laundry. I've got patience. Lets me stop and think about stuff. Or hell, put tunes on the bluetooth speaker.

Anyway, best thing I ever had was a Mabler horizontal washer/dryer allinone unit in an old basement studio. It was small as hell and could handle everything but my winter quilt. Used cold water to condense the moisture and was closed loop. Would periodically discharge warm water into sink via long hose. I think it was designed for RVs and plugged into a 120v socket.
by xp84 | 2025-05-02 01:36:04+00:00
If it was me, I for sure would fill my time with travel for a little while. Personally I’d get or build a comfortable van and visit lots of parts of the US and Canada where I’ve never been. Reflect on nature’s beauty and be alone with my thoughts, and peaceful.

Obviously there is another kind of travel that’s more focused on luxury/hedonism/etc. that’s not my thing, and in my humble opinion risks getting caught up in alcohol/drugs/empty sex/etc. would not recommend especially because the temptation of doing all of the above to excess would be there if you’re popping bottles in Miami Beach or whatever.

One thing you might want to do would be to see who would like to have you as an advisor for their startup. You successfully did a hard thing that thousands are desperate to do. Many could benefit from your learned lessons. You could offer to give talks at your alma mater, help vet people’s startup ideas, etc. I know you may not feel like you’re some genius or oracle but you’d make a much better judge of that kind of thing than I would!
by zeroq | 2025-05-02 01:36:41+00:00
kv doesn't cut my use case. After import I'm running several queries to remove unwanted data. I was shortly contemplaiting filtering while I was importing but (a) I couldn't really handle relationships - hence two distinct steps - remove and remove orphans, and (b) even if I could it's really much cleaner code having a single simple function to import a table, and then having a clean one liners to remove weed. And (c) I need sql queries later on.
by Terr_ | 2025-05-02 01:36:46+00:00
> But they [manual vehicles] aren’t [being operated by a corporation with a very strong incentive to publicly demonstrate safety]. These [automated vehicles] are.

Uh, yes, you're kinda repeating my thesis, and two copies don't cancel each other out.

> Planes could be less safe if pilots flew them into cliffs on the regular, but they don’t and so are not.

I don't understand what you're trying to convey with this tautology.

_________

Imagine two fleets of cars/planes/whatever with utterly identical equipment and expertise. The only difference is that for one of them, the management is being pressured by politicians to demonstrate a high degree of safety.

For that scenario, wouldn't you agree that the better-safety comes from temporary external cause? And also agree that the better-safety is unlikely to persist long after the incentive disappears?

[TLDR] Some portion of Waymo's safety-stats are due to the investor/regulatory context in which it currently operates, rather than the underlying technology; the effects of that portion will not be permanent; this should affect how we do comparisons.
by poink | 2025-05-02 01:37:11+00:00
It's not only reasonable the US government should be archiving communications between officials, it should be compulsory. We've already had problems with this re: agents of government agencies like CBP and big bankers using E2EE messaging apps to skirt regulatory requirements.

That said, whether this makes the situation better or worse depends on who can actually see these archives. "Smarsh" is a US-based company, but they acquired TeleMessage, which was (is?) based in Israel.
by 9d | 2025-05-02 01:37:34+00:00
I'll never understand how anyone ever liked Perl. I remember before PHP came out and Perl + CGI was what all the forums used, and that kind of made sense before Node.js + TypeScript + Nginx were a thing (maybe). But for scripts? I mean, I guess that it makes sense as a sort of bash on steroids, but at that point, why not have something more structured? Then again, that's around the time that Lua, Ruby, Python etc were all being invented, and for that exact use-case, to be a better scripting language that bash or Perl. But... why even use Perl as an intermediate step? Why not just say "hmm, bash is too simple for this... I'll write a --" oh, I think I get it now. Your only option was Perl for a while, if you didn't want to write a full fledged C or C++ script, which would be much more verbose and unforgiving.
by max51 | 2025-05-02 01:37:56+00:00
not op, The long story short is that a lot of data analysis that would normally require days of development can be done with a few clicks in excel. Would you get a better result if a team of 7 people spent en entire week working on it? Yes. Can a normal competant accountant get 99% of the way there by spending 2 hours in Excel, also yes.

Excel takes care of a lot of things that are a massive pain in the ass the deal with with any other solutions. It starts witht he ability to import data with a simple ctrl-c + ctrl-v instead of having to write code, but it doesn't end there.
by worik | 2025-05-02 01:38:12+00:00
What interests me, are alternatives to Javascript type languages

Deno was a step away from the shortcuts Node.js took, Typescript was a step away from the ones Javascript took.

But time has moved on. Surely there is space for a *modern* garbage collected language (ie disqualifying Rust) for building servers.

I spend my days programming in Typescript, and Rust. Typescript is ancient. (Vaguely Typed Script would be a more accurate name)

Is that language Go?

Does anybody start major projects using Node/[Type|Java]Script anymore?
by ceejayoz | 2025-05-02 01:38:47+00:00
Great motivated thinking, but wrong.

It would appear they're using this app now, post-incident, because they got in trouble. (And having messages with Vance, Gabbard, etc. be visible to the press pool camera is... not a great look for the guy who accidentally added a reporter.)

https://www.nytimes.com/2025/04/15/us/politics/cia-director-...

> All of the messages from a leaked group chat have been deleted from the phone of John Ratcliffe, the C.I.A. director, the agency said in a court filing.
by justusthane | 2025-05-02 01:38:52+00:00
I don’t really understand why this solved this particular problem. The post says:

> As an attacker with stupid bots, you’ll never get through. As an attacker with clever bots, you’ll end up exhausting your own resources.

But the attack was clearly from a botnet, so the attacker isn’t paying for the resources consumed. Why don’t the zombie machines just spend the extra couple seconds to solve the PoW (at which point, they would apparently be exempt for a week and would be able to continue the attack)? Is it just that these particular bots were too dumb?
by blibble | 2025-05-02 01:40:34+00:00
> No one will ever, EVER be able to "contribute proportionately" given the endless bounty of software made freely available for all to use.

so it sounds like we need a license mechanism that enforces this, fairly, based on potential ability to contribute

idea: a benchmark to give a required level of contributions, maybe a logistic function of revenue generated/company size and time since initial usage

and if you fall beneath it, your license is terminated

carefully calibrated such that a burden is only placed on very large companies
by brundolf | 2025-05-02 01:40:44+00:00
It's amazing for scripting, I use it for that all the time too. Just the basic premise of "we can have nice things [static types and a standard library] in scripts" is lovely

I hope it doesn't die, but I always thought the business model was going to be tough. Bun seems to be eclipsing Deno for sure, mainly due to its embrace of any and every syntax/feature/ecosystem, which makes me sad because Deno's opinionated stance was what had me so excited to begin with
by sizanrana0 | 2025-05-02 01:41:43+00:00
Location: Texas, USA (Open to Remote)

Remote: Yes

Willing to Relocate: Yes

Technologies: React.js, Next.js, Tailwind CSS, TypeScript, JavaScript, Firebase, Node.js, AWS

Resume: https://drive.google.com/file/d/1D2_vleTVkcxhIeBsHBIzojKLgvJ...

GitHub: github.com/SizanRana

LinkedIn: linkedin.com/in/sizan-rana

Website: https://www.sizanrana.com/

Email: sizan.rana2000@gmail.com

Summary:

Hi! I'm Sizan Rana, a Frontend Engineer with 3+ years of experience building scalable, intuitive, and responsive web applications. I’ve developed full production systems from scratch across HR tech, education, food service, and e-commerce — all focused on great UX and reliable performance.

Recent projects include:

Niural – Global HR/payroll platform with AI contractor hiring, Stripe integration, and AWS services

Mero Padhai – E-learning platform with custom admin panel, video playback, and digital payment APIs

RestroX – PWA-based restaurant management system with digital menu features

BookLifter – Multi-vendor e-commerce platform with offline-first capabilities

I specialize in writing clean, reusable component systems, translating Figma designs into pixel-perfect interfaces, and collaborating closely with backend teams for seamless API integration. Whether you're launching a startup or scaling a product, I can help bring your frontend vision to life.

Looking for contract or full-time roles — open to freelance, short-term, or long-term projects. Available immediately.
by tialaramex | 2025-05-02 01:41:45+00:00
This would make more sense if constexpr was actually constant like say, Rust's const.

The Rust const fn foo which gives back x + 42 for any x, is genuinely assured to be executed at compile time when given a constant parameter. If we modify the definition of foo so that it's not constant the compiler rejects our code.

But C++ constexpr just says "Oh, this might be constant, or it might not, and, if it isn't don't worry about that, any constant uses will now magically fail to compile", exactly the spooky action at a distance you didn't want.

When originally conceived it served more or less the purpose you imagine, but of course people wanted to "generalize" it to cover cases which actually aren't constant and so we got to where we are today.
by Aken | 2025-05-02 01:42:05+00:00
Senior software engineer with 20 years of experience across consulting, solo entrepreneurship, startups, and small business engineering teams. Comfortable as team lead or IC.

Looking for full-time, short-term contract, technical founder or founding software engineer, etc. Excited about pragmatic solutions, iteration with users and product, CI/CD, mentorship, APIs, SaaS, e-commerce, and so much more.

Author of an engineering-focused newsletter https://becomeaseniorengineer.com

Location: Milwaukee area, Wisconsin, USA

Remote: Must be remote, willing to travel often

Willing to relocate: No

Technologies: Frontend – TypeScript, React, Vue.js Backend – Next.js, Node.js, Express, PHP (Laravel, Symfony) Mobile – React Native, Ionic + Capacitor Databases – MySQL, PostgreSQL, Redis, MongoDB, Firebase Firestore Cloud & Infrastructure – AWS (S3, EC2, SES, SQS, RDS, Lambda), Docker, GitHub Actions Testing & Quality – TDD, BDD, Playwright, Cypress, Gherkin Architecture – Event-Driven Systems, State Machines, SOLID Principles, API Design Observability – ELK Stack, OpenTelemetry, New Relic

Résumé/CV: https://akenroberts.com/resume/

Email: hello@akenroberts.com
by riskassessment | 2025-05-02 01:42:22+00:00
My reading of this press release is that they are just removing the 12 month embargo period before the already mandated free-access (untypeset) versions of grant-supported manuscripts can go on pubmed central. The prior policy of a 12 month embargo period allowed publishers to have a small value add over the free version. This value add justifies subscription fees which support, among other things, infrastructure necessary to support peer review and possibly some in-house staff scientific editing and review. I do wonder whether it is worth it to make all papers available immediately if indirectly may make peer review even less supported than it is now.
by neilv | 2025-05-02 01:42:45+00:00
Thank you. Two followups, trying to learn from Oxide:

1. Did you go straight from founders and marketing/relations people doing sales, to hiring salespeople with a conventional compensation scheme? (Or were there some other things you tried in between?)

2. Given the opinionated and unconventional ideas that you have for engineering and product culture, and also given that traditional enterprise sales culture was powerful enough to overwhelm that for hiring... is there anything you're consciously trying to do differently in enterprise sales, and how do you accomplish that within the (fairly transactional?) relationship that you have with your sales team?
by mandevil | 2025-05-02 01:42:46+00:00
If you had said "were" instead of "are" this would be a true statement. Since South Dakota v. Wayfair in 2018, states have been allowed to charge sales taxes on businesses that have no operations in their state. That decision overturned 1992's Quill v. North Dakota, which held as you say. But that is no longer the law of the land.

The 5-4 majority in 2018 included two justices who were part of the unanimous holding in 1992 (Anthony Kennedy and Clarence Thomas), voting to overturn their own decision from a quarter century before.
by marcus_holmes | 2025-05-02 01:43:54+00:00
Well, theoretically, Apple would have to reimburse the people it stole from, if the fees were found to be illegal. Presumably this would mean every app developer getting reimbursed some of that 30% Apple Tax, or every Apple customer getting refunded some of their Apple purchases, depending on which way the court goes. This could be a very, very large number.

Not so much about punishment, as repayment. However, it's not unusual for courts to also add a punishment element, especially if the offending party knew it was offending (as in this case).

And yes, I think the politicians would let this go through, because "every Apple customer" is a lot of voters.
by skybrian | 2025-05-02 01:44:29+00:00
I guess the security hole is that “allow connecting to localhost” might sound like an innocuous permission, but it becomes increasingly risky as you run more servers on local ports that have no other protection.

The permission itself doesn’t tell you anything about what powers it might grant. You need to know how all your local processes work to determine that, and most people have no idea.

It’s too generic for users to make reasonable decisions about. And that means that servers on localhost really should have authentication. Connecting client A to server B should be explicit.
by dheera | 2025-05-02 01:44:56+00:00
Location: Currently bay area but looking to eventually relocate to one of { Seattle, Boston, LA } for lifestyle reasons

Remote: Remote OK, Hybrid/In-Person OK if you have an office in one of the above cities

Technologies: Gen AI, Multi-modal models, Robotics, Computer Vision

Highly interested in: Robotics, AI for biotech, AI for science discovery, AI for accident prevention, disease prevention, sustainability, education, new forms of human-computer interaction

Résumé/CV: https://dheera.net/resume

Email: dheera@dheera.net