skysight-inc/HackerNews huggingface dataset:
I found your blog and your diary of a solo developer building a web app [0]. Maybe the answers to my questions are there. Thanks for this, too.

[0]: https://blog.kowalczyk.info/article/30da6655040f47e693f8e66e...
FWIW, I think it might be, because the prosecutors work for the executive branch.
Ask HN: List of people who successfully built for profit programming languages?
What people do you know have started for profit programming languages and have been successful at it.

Here is a few I can think of.

- Arthur Whitney (K, Kdb+ & Shakiti)

- Micro APL (I don't know the owner)

- Dyalogue APL(I don't know the owner)

- Stephen Wolfram (Mathematica, Wolfram Language)

- MATLAB (I don't know the owner)

I would be happy to learn more about this industry and the people involved.

Please help me list interesting projects and people that concern this topic. Or Nudge me to resources that I may find interesting.
Imagine if you could just scp your source code tree onto a CDN and it would automatically bundle it based on how clients import it.
This kind of work really favors work life integration. If work is your top priority, and you can put in absurd hours / shirk other responsibilities, this type of job might be for you.
Uh how can you compare without buying? Or put another way, why buy if you can compare?
JS blocking?

Edit: Nope. I get the same thing when I use the "homepage" tab/filter.
https://archive.ph/Rir4w
"Collectively, these observations suggest that increased cerebral oxidative stress following prolonged apnea in trained divers may reflect a functional physiologic response, rather than a purely maladaptive phenomenon."

so, this paper neither is relevant for seal training nor does it claim any harm caused by breath holding, based on the Abstract section.
Yep, that's how it works - you first perform dead code elimination and then tree shaking exactly because it wouldn't remove everything otherwise. Agreed that you need both done one after another in most cases; however you can usually disable either one in bundler configuration and it's a separate step.
The executive is already 90% filled with people who not only are one party, but share a particular, distinctive ideology, who have demonstrated their willingness to subvert the institutions they work for in service of that ideology: https://www.washingtonpost.com/politics/resistance-from-with.... (Remember this happened before Trump did anything. It was based purely on federal workers’ moral objections to Trump’s stance on immigration.)

If Project 2025 succeeds behind its wildest dreams, it won’t even come close to even balancing things out.
My line of thinking roughly was, "each type system corresponds to a particular logic system and vice versa; in a proof by induction, the different cases correspond to the type constructors, but what does the necessary axiom schema or second-order axiom of induction correspond to? (in order to avoid the problem of nonstandard elements). And proof by infinite descent seems to require something other than induction, so where does well-foundedness come from?"

I realize these questions may not even be posed sensibly; maybe the answer is as simple as, "the naturals are defined constructively here; of course they are the naturals and therefore are well-founded". As I said, it's been a while, so things are hazy in my mind.
I'm guessing you're being downvoted for comparing software to slavery. Generally speaking, the modern society seems to have forgotten that the world isn't binary - you can make comparisons and have similarities that are far apart on the spectrum so aren't equalities, but can still find informative meaning.

But to your point, this exact argument was used by top southern politicians to justify slavery! It was the freedom of the slave owner, their right to own property, that justified slavery. James Hammond famously made this argument to congress shortly before the Civil War broke out. If this is interesting to you, Eric Larson just released a great book called "The Demon of Unrest" that covers this.
Fiwix: Unix-like kernel for the i386 architecture
plenty of troops shooting a lot outdoors. enlisted grunts shooting a machine guns, etc. lots of civilian shooters as well.

lead is also easy to detect in blood, or via things like hair samples. no doubt SF types are getting more residue than most, but again fairly easy to notice
The world began with some people's memories. Displaying weather data has been largely consistent across the past six or seven decades, which apps have mirrored.

If the author had made an attempt to explore the issue beyond a single point of reference, or had any other experience to draw from, there's no reason they wouldn't have mentioned it for comparison unless they knew it would have weakened their argument.

Good advertisement for Figma, though.
Sicstus Prolog
This is one of those instances where all the people complaining are entirely correct but my forecast is they're still going to lose the war because they are up against economics. They have the same problem that the anti-torrent crowd has - the technology exists and is cheap to use. There is no longer any economic value in having a distinct style, and there might not even be any way to protect it. Any teenager with no training or talent can copy a style with the tools that now exist.

Hopefully most artists don't make money from their specific style anyway. I doubt xkcd.com is panicking because other people might start drawing stick figure comics.

> In theory existing copyright law should cover these new AI cases, but if you use something like Figma AI and it "rips off" (as John puts it) an existing app, you might not even realize that you're copying someone else's design because there's no provenance.

This specific case doesn't seem like a problem. All the OSS software I'm using seems to have copied design elements wholesale from existing software projects and corporations shamelessly copy off each other.
A skeptic in me says who cares, this is just making it easier to do what app developers are already doing. The amount of copycat apps in every app store is pretty ridiculous.

The idealist version of me thinks how incredibly sad that a major tool provider thinks this is the future of design tools.
>Anyway, instead of thinking of git as deeply flawed, try to see it as a battle tested tool without which your job would suck in ways you can't even imagine.

I would rather use mercurial.
What features do they want?
In my experience people always welcome webpack alternatives and not having CPU starvation issues or having to wait for minutes to webpack to work.

The problem is that we have already n-thousands alternatives, so it's a slightly different setup everytime - but generally as long as it's not webpack, it's all good.

Recently someone disabled turbopack on a next.js project because one new dependency wasn't supported and the developers started complaining right away the app was unbearably slow. The team couldn't work on latest for a week, they were just reverting the latest changes breaking turbopack support, working and then pushing.
Maybe, but some kind of property dualism still seems plausible to me.
Matrix is a wonderful alternative
how’s esbuild? I’ve yet to hit something I had in webpack that isn’t a couple line plugin away from being present in esbuild
In almost all cases, the reason is OpenSSH's silly limitation of buffer sizes [1].

It limits the amount of data that's "in the cable" (which needs to be more if the cable is long).

> The default SSH window size was 64 - 128 KB, which worked well for interactive sessions, but was severely limiting for bulk transfer in high bandwidth-delay product situations.

> OpenSSH later increased the default SSH window size to 2 MB in 2007.

2 MB is still incredibly little.

It means that on a 100 ms connection, you can not exceed 160 Mbit/s, even if your machines have 10 Gbit/s.

OpenSSH is one of the very few TCP programs that have garbage throughput on TCP. This is also what makes rsync slow.

The people from [1] patched that.

You can support that work here: https://github.com/rapier1/hpn-ssh

In my opinion, this should really be fixed in OpenSSH upstream. I do not understand why it doesn't just use normal automatic TCP window size scaling, like all other TCP programs.

All the big megacorps and almost every other tech company in existence uses SSH, yet nobody seems to care that it's artificially 100x slower than necessary.

[1]: http://www.allanjude.com/bsd/AsiaBSDCon2017_-_SSH_Performanc...
Yes, but dissipating kinetic energy is a solvable problem unlike dissipating momentum.

The initial statement that's being refuted here is that a bulletproof helmet would break your neck and thus cannot work.

This statement is false because (besides such helmets existing on practice) your skull can absorb the momentum without too much damage and helmet can absorb the kinetic energy.
I use BeyondCompare 5 for this.
Do you know any tools that enforce grammar or structure, that allow the use of general instructions (e.g., use 5 positive English words)? I believe I saw such a tool mentioned by Abetlen, although it wasn't their tool, but I can't seem to find it now. I've already checked LMQL, SGLang, Guidance, and Outlines. Thanks.
"Technofeudalism" sounds more and more prescient, GenAI like what we are seeing adds more fuel to the argument that we are working, for free, for the tech behemoths vacuuming data.

It's strange to think a book just released last year already needs an update, where Yanis Varoufakis only considered us working for free in these technofeuds by providing behavioural data (what do we click, what do we buy, etc.) the GenAI bullshit now has upped it a notch to include all creative work done as free work for tech companies.

It's sad to think that only cases like Figma, where they step on the toes of other giants with deep pockets, might actually bring some change to regulations on companies profiting from the work of others without compensation.

I believe there could be a whole lot more useful things in AI to be done for the amount of resources being spent on training GenAI. It's a neat tool being completely misguided to create neat party tricks...

I've been using LLMs a lot to guide me into studying topics I know very little about and Google searches lead me into spam-filled garbage, I love to use them for this task, and hope to see many improvements on this direction. There's so much more useful stuff to explore instead of spitting transformed copies of the ingested training data.

Shit like this [0] boils my blood, the absolute hubris.

[0] https://www.youtube.com/shorts/p0rcl-wo-qM
i know of this one but have no experience with it so cannot comment on it:

https://8th-dev.com/
Then you envision Apple opening both hardware and software platform for full business competition with itself. Similar to installing whatever Linux distro you want on an Intel box?

It's not like this is the early days of iPhone--the solution waiting for a problem. You needed competent developers to make quality products to engage and retain users. You offered lucrative deals as compensation.

You envision total disruption?
Rimac's Robotaxi Looks If It Doesn't Turn Out to Be a Tax-Funded Bust
„This is what I experienced“ is not the same as „this is what I believe in“.

Me telling you „I once was told by a nazi that all Jews need to be punished for their sins“ does not make me a nazi.
that was my inference, but i don't have much information about seal training, so i could be wrong. it's a little irrelevant though because, as i said originally, the description of the type of brain damage should rule out diving as a cause
Makes a great second career to pad retirement, if you can stand it.
What does “democracy” mean to you? A country where people vote, but unelected bureaucrats and lawyers actually run things and will do what they think is best?

Hypothetical: Trump is campaigning on immigration. Say he wins the election and issues an executive order to deport every single illegal immigrant. What should happen, in a democracy?
> Well, if they don't, it shows how evil they are. Same if it went the other way.

See, the problem is some of us don't want to get to the point where we derive petty satisfaction of definitively knowing how evil someone can be. That's why we have (had) checks and balances: to prevent us from knowing -- in the most real way -- how evil someone can be. A significant check on presidential power was removed yesterday.

Where once the president was bound by law and constitution, now he is bound only by his ambition and personal moral compass.
First thing I disable on a new PC.
Long-awaited Rimac robotaxi fails to move during opening presentation [video]
From Gleb Sabirzyanov

> So there is no “training” in the components part at all. It uses pre-defined components that Figma team designed. They made complete apps with designs based on existing apps: weather, fitness, etc. If you ask the AI to create a weather app, it would use the weather app components

https://x.com/gleb_sexy/status/1807757536306594270

https://x.com/gleb_sexy/status/1807757591696543923
Apple just launched a public demo of its '4M' AI model
> exit velocity of the water jet of over 600 ft/s

What are the reasons not to set up secondary turbines / other mechanisms to capture that energy in turn?
Location: Berlin, Germany (or Zurich, Switzerland)

Remote: Yes

Willing to relocate: No (Yes, if Switzerland)

Technologies: ReactJs, Vuejs, TypeScript, JavaScript, NodeJS, SQL, CI/CD

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

Email: jdinartejesus [at] gmail [dot] com
Market for Carbon Credits Faces Fresh Blow as Offsets Slammed
No, this is wrong in both ways. Painful emotions are painful and not necessarily transiet and transiency is irrelevant to autonomy anyway. In fact, any argument that doesn't underminde the assumption of the right to bodily autonomy is trumped by autonomy.

People with temporary problems have a right to bodily autonomy and so do irrational people. Everyone does and doesn't need to justify themselves to anyone. The only exception is if they're hurting somone else.
Zetier | Arlington VA | Onsite | Full-Time | CNO Developers and Researchers

Zetier.com

At Zetier, we recognize the evolving landscape of cybersecurity challenges. Our client-centric approach is designed to tailor solutions that not only meet but exceed expectations. Through our deep expertise and relentless commitment to innovation, we craft strategies that ensure robust security while promoting efficiency. Every client is unique, and our solutions are tailored to the specific needs, budgets, timelines, and nuances of each project. Our promise is to deliver excellence while ensuring you stay ahead in an ever-changing cybersecurity environment.
How Does CRISPR Work?
Yeah, that's how I ended up using prisma... until I realised they didn't have joins

All this aside, knowing something is in Rust tells me:
- It's fast
- It's maintainable (imagine the same project but in C)
In recent years due to the somewhat mixed economy, "competitive salary" in the Netherlands is typically in the 50-70k/year range in my experience (for mid/senior engineers). Salaries and freelance rates have been quite depressed in the last year or two.
Welcome back, diskless workstations! We've missed you... oh, wait, no, we really haven't.

This is technically neat, but... How often does the memory card break on a Raspberry? How often does the network break (either Raspberry hardware or upstream)? There are fewer things to break when you run from local hardware.
Police recover stolen Bitcoin mining computers worth $579,000
This story is missing the impact that Tom Lord's TLA had on the git design.
If that's not possible, maybe OP can rename it to .envrc.example, and commit that. Then put in the instructions to rename .envrc.example to .envrc on checkout
Chatted with these folks a few times and they are all lovely people and would be super fun to work with.
This comes across as quite scathing critique of an open source tool that has provided an extremely high standard of security and reliability over decades, despite being built on technologies that don’t offer the guardrails outlined in points (1) and (2).

Point (3) seems like a personal attack on the developers/reviewer, who made human errors. Humans do in fact make mistakes, and the best build toolchain/test suite in the world won’t save you 100% of the time.

Point (4) seems to imply that OpenSSH is not well-engineered, simple, or written by good programmers. While all of that is fairly subjective, it is (I feel) needlessly unkind.

I’d invite you to recommend an alternative remote access technology with an equivalent track record of security and stability in this space — I’m not aware of any.
How the plane beats the skydivers to the drop zone from 14600 feet [video]
I don't think this is the case. All military members of all branches are taught that they must not obey unlawful orders. Killing elected officials is clearly unlawful.

And the president is still subject to impeachment.
https://archive.ph/ShyM3
I agree, though this does not seem like something that should be built until the browser is at least usable, which currently they're projecting an alpha release in 2026. By then things might be totally different, so don't architect yourself into a corner with it, but I also wouldn't invest much or any time into it right now. Focus on building good APIs/extension points though, and those will be immensely useful whether for local LLMs, extensions, or anything.
This years program seems software workaround themed. What's the current status of fixing these flaws in DRAM hw, if there are still unsolved problems is there something brewing in semiconductor research?

In 2021 there was "Panopticon: A Complete In-DRAM Rowhammer Mitigation" (linked from https://dramsec.ethz.ch/2021.html ).
FWIW The standard rifles used by the US Military (M16 and it's variants/decedents) are fairly low power, low recoil, and quiet as rifles go. Of course I'm not doctor so maybe they are still enough to cause damage and like another poster pointed out, there are other weapons that soldiers use which are much more powerful.
This article seems to be full of security vulns that the hypothetical htmx user is deliberately injecting into their own page. Sure, if you deliberately make your app vulnerable, it's vulnerable. This isn't, uh, unique to htmx.

For example, sure you can allow htmx on your page to make requests to domains you don't control. This is the proverbial shooting yourself in the foot. If you are allowing this in your site, you have much deeper problems than htmx and need much bigger interventions than CSP.
SpotHero | ONSITE (Hybrid-schedule) in Chicago or Toronto | Full Time

SpotHero is the leading marketplace for parking reservations. We help drivers easily reserve parking for commuting, events, or any reason they are out and about.

We have multiple open roles! https://spothero.com/careers

We're hiring for:

- A backend engineering role in Python/Django/Jinja, Golang, Kafka, Terraform, Postgres, and Airflow

- A Senior Machine Learning Engineer (Python/AWS)

We prefer to hire in our hub cities for locality but our approach to onsite is flexibility first and much of our time is WFH. Feel free to apply online or reach out to me at tom dot janofsky at spothero dot com.
The CAD PDFs are searchable; parsing the PDFs, on the other hand, is more of an issue with custom fonts etc...
Location: Belgium
Remote: Yes
Willing to relocate: No
Technologies: Ruby, Ruby on Rails, minor Go experience
Résumé/CV: https://www.linkedin.com/in/hannes-fostie-07860380/ or I can send over a PDF via LinkedIn or email
Email: hannes.fostie@gmail.com

Interested in Senior or Lead positions, with a focus on the back-end. Interested in applying my extensive Ruby experience but open to other languages as well such as Golang, Python.

12 years of experience as a software engineer, 9 of those working remotely at companies such as Heroku (Salesforce) and Clearbit (acquired by HubSpot).
That's not what the judgement says.
If you're on macOS, check out the MLX community: https://huggingface.co/mlx-community - Ollama not needed, potentially more efficient(?). The Gemma 2 27B model was broken as of a few days ago, but a fix is already committed and underway to the pip repo. Gemma 2 9B works directly.
If you're curious, a book The Master and His Emissary by Ian McGilchrist goes over many of the differences in "personality" of each hemisphere which is not as simple of a divide as is commonly heard. It is not so much a logic vs. feeling/art split but maybe more of an isolation/abstraction vs. broad/networked default mode for each.
> you have to screw up a lot more to give the attacker complete control over the HTML.

Isn't this just a XSS vulnerability?
- Anders Hejlsberg, original author of Turbo Pascal, chief architect of Delphi, creator of Visual J++, lead architect of C#, and core developer on TypeScript...just read his wikipedia page and your head will explode lol!
To me this looks more like Unforget which was shared here a few weeks ago https://unforget.computing-den.com/demo
Moore Tool Company -- manufacturer of some of the machines that NIST uses to measure stuff[1] -- published a book called Foundations of Mechanical Accuracy that's pretty good: https://archive.org/details/FoundationsOfMechanicalAccuracy/...

[1]: https://www.nist.gov/news-events/news/2016/09/meet-bob-pmls-...
> Interesting subject.

To someone familiar with the subject matter, “shooting guns gives you brain damage” is an absurd, incorrect idea that one feels obligated to voice an objection to, in order to perhaps slow the spread of misinformation.
Are you working full time on this now? How many people are working on it and about how much time per week are they able to do? Is this expected to hold steady or do expect changes over the coming weeks, months, or years?

Not trying to pry into your personal lives, just wondering because there's a lot of meaningful information behind the answers to those questions.
Thanks!
Good luck with your project, this single-handedly gave me back faith in the modern web when I found out a few month ago about the progress you guys made since I last saw it
One counterexample may be sufficient to disprove a hypothesis. If you claim a certain quadratic equation has no roots and I give you one root, you can’t say “n=1”.
It's a good point in general, but in this case it's not clear if the cost of re-writing the existing codebase is less than the cost of staying with a memory-unsafe language.

We know from past experience that it takes an extreme amount of time and effort to harden a browser written in C++ against malicious web content. The Ladybird codebase is not particularly "old" in any sense of the word. Judging by Github's stats most of the code is less than 4 years old and it is still a long ways from being ready for general use. I think it's safe to say Ladybird still has a vast amount of work to be done fixing vulnerabilities that arise from lack of memory safety.

I find it quite plausible that the cost of re-writing the existing code in Rust is less than the cost of fixing all of the current and future bugs in the C++ codebase that Rust would catch at compile time.
To what extent does it end up being "allow withdrawals for snowmaking" vs the thing being intended for snowmaking?
That talk[1] (also paper[2]) covering some of this by the Microsoft team involved with the unfettered GPT-4 model certainly shifted my views last year at a time when until then it was more common to see downplaying about LLMs based on prior gen models. Recently saw an AI safety specialist who also become more concerned about the rapidity of progress cite their research.

[1] https://www.youtube.com/watch?v=qbIk7-JPB2c

[2] https://arxiv.org/abs/2303.12712