skysight-inc/HackerNews huggingface dataset:
I don't know everything, but I do know they've let their HTTPS cert expire a few times [1], and they apparently delay package updates from upstream for like 1wk for "stability" reasons... which doesn't really add any stability, and just slows down releases.

[1]: https://www.reddit.com/r/linux/comments/wr2dps/manjaro_let_t...
My dream is that someday we’ll all use a VCS that is so simple the internet doesn’t have literally tens of thousands of blog posts pretending it’s simple. Someday…
The coolest thing I made is probably my two-tier, 3-kettle, 240v E-HERMS homebrewing system, but that was probably only about 15% fabrication and 85% integrating off-the-shelf hardware.

For some reason, the thing that still feels the coolest was the RC hovercraft (converted from RC airplane parts) that a friend and I made for a science fair. It was a bit silly because it wasn't cordless, but that attribute doubled as a nice safety feature given that this was being piloted in a gymnasium full of kids.
This definitely seems like a potentially powerful approach. The said, maybe I'm missing something obvious, but is the LLM generating both the tests and the implementation? If that's the case, then it seems like there could be issues caused by the generated tests not matching what's specified in the initial prompt. Manually writing highly focused unit tests doesn't seem like the best way to work with this, but being able to manually write some sort of high-level, machine-checkable specs might be useful.
I'm only talking about the part where you solve a problem with code.
You could have added 2 or 3 mosquitoes to make it more fun
the ocaml ecosystem has been going through something of a renaissance over the last few years (i believe because the build and package management tooling hit some sort of inflection point with dune and opam respectively), so there's been a lot of increased interest in it. it was (imo, of course) always a very pleasant language to use, and produced small and fast executables; the tooling was what was really holding it back.
Google Search Asked to Remove One Billion ‘Pirate’ Links in 9 Months
Not saying this is the "objective truth", but the OSD does a good job of helping you find a clear-cut line when something is "Open Source" (in common parlor) or not: https://opensource.org/osd/

Again, not everyone agrees with those of course, and I guess that's fine. But I think most software developers who are in the FOSS ecosystem could agree that Llama is not "Open Source" as most people understand the term.
Typograms: A definition and renderer for ASCII diagrams
Previously submitted in personal repo:

https://news.ycombinator.com/item?id=32133345

Now, officially open sourced:

https://github.com/google/typograms
The "fuss" is not about the specific numbers of bandwidth but more the mindset of not using more resources than absolutely necessary. And yeah, my breed who seems to care about this seems to be scarcer and scarcer out there but I promise, we still do exists.
I think people like sama are very easy to manipulate. I don’t know what else to tell you.
Haha, yes, shadow labour costs are always priceless.

$1900 is definitely too much compared to that.

Let’s do what you said 3 times because the first attempt might not make it.

I am not affiliated with archsense :)
Phew, thanks!
> Desperately attempting to remain relevant when the Fed provides instant payment and value movement rails.

How exactly?

FedNow doesn't work outside of the US.
Useful AI, a room-temperature superconductor, a cancer pill, and now net-positive fusion. Did we just crack open some secret alien tech? Maybe a time-tracker left their toolbox behind?
Technological progress is amazing, yes.

But it comes at the cost of destruction of the natural environment that supports us. Some of that is unavoidable in order to have progress. Much of it is just wasteful, stupid practices driven by selfishness & pursuit of short-term profit.

I hope humanity can cut that waste & move towards long-term thinking. Where personal interests are more or less inseparable from the interests of society as a whole. Improve society, the natural environment, and you (& all your loved ones) profit.
Um, the avg. us wage is much higher than most countries in the world, https://www.worlddata.info/average-income.php

When I find some article a little opinion-heavy, I look for something that quantify what's being said.
UNIX isn't getting automated (or at least not well). I've been using it for decades and the usability has hardly improved. UNIX is actually being replaced by cloud vendors, as the AWS/Azure/GCP/OCI API isn't UNIX. That's kinda the point - I was thinking of automating it a bit more, but it turns out my friend doesn't need better automation because why "automate" something in the conventional sense when you can just throw AI bodies at doing all the work manually.

The risk here is not that AI can't explain what a particular script does. The risk is that we stop creating simplifying abstractions. Let me try to explain what I'm getting at here because it's a new thought and I'm not doing it well.

Humans have limited and roughly equal mental and physical capacity. Beyond a certain point you have to add more people to get more done. In turn those people need abstractions because they can't grok the whole system (AI assistance or not), and so to organize into teams you need people to abstract away essential complexity. We build on top of a tower of abstractions as a consequence, and to a large degree progress comes via better and higher level abstractions becoming available.

What if this progress stops because AI doesn't need it? The scenario here is that without people really noticing at first the flow of improvements to our tools dry up. PEPs, JEPs, RFCs, new libraries etc stop appearing. Maybe even bugs stop getting fixed if there are workarounds available. After all, why invest time and effort into improving the syntax of Python or JavaScript if the primary user would only be AIs? They don't care, they'll just write things out the inconvenient way without complaining. Why try to make UNIX or the cloud easier to use, if all your configs are written by AI? Why introduce new abstractions at all?

Assume that tech continues to move forward and people's demands continue to get more complex. But now, instead of inventing new tools, we just pay a bit more for AI to brute force through the limitations of old tools. Why would an AI write and maintain a library on GitHub with a nice API when it can just knock off the code it happens to need right there as part of its own task? So code gets more and more verbose over time, until one day the number of missing abstractions becomes so large that the code is incomprehensible. And asking AI to explain won't help either because at best you'd get a book sized explanation. There are no teams, no projects, no abstractions. It's all just an endless jungle of boilerplate and copy/paste coding.
I skimmed the article, and comparing the two programs, yes, the OCaml one is shorter and more elegant. But it also reads like a math magic spell. There's no type annotations for me to figure out what the heck each term is. The naming conventions lean extremely terse. Perhaps it's my lack of experience with OCaml, but it doesn't feel as legible.

The Rust one reads like...well a program. A program that's not as beautiful, but is very much designed to be taken apart, debugged, improved, etc.

I fully agree that if you're writing pure, recursive, data structure manipulations, OCaml is likely a better fit. It's closer to mathematical notation and I see the elegance in that. But if I were to take that data structure manipulation and turn it into a compiler with thousands of lines that I navigate with an IDE, with logging, with annoying little edge cases, with dozens of collaborators, I'd choose Rust.
User-agent: GPTBot

Allow: /directory-1/

Let's all make this "directory-1" and fill it with absolute garbage.
This is because corporate IT staff are largely responsible for Windows not working. Their endless and senseless configuration changes make Windows not work.
Emerge Tools (YC W21) is hiring an engineer to lead front end development
Wooden version of Scrabble! I need to update the site with pictures of the tiles. https://felipecortez.net/woodworking/
Why do you think it's unfair to discourage what amounts to ≥3 hours of driving daily? At that point you should probably switch to trains or move.
Hello from Royal Oak :wave:
From the previous experiment: "To produce the 2.05-megajoule shot, the laser system required 300 megajoules of power, Kim Budil, director of LLNL, said in a press conference today."
[https://techcrunch.com/2022/12/13/world-record-fusion-experi...]
There can be two reason why it is working.

- They might be running shadow IT

- Security and compliance is not their priority.

Since you have implemented BG and other controls. My follow up question is are these devs in that case EOR or contractors whose payroll is processed via you. Your org starts to look like deel, remote or midsource.

The whole PR assigning to junior devs feels gimmicky, no?

However, there are two problem statements you are solving. I agree with the first premise, remote junior devs will get better opportunities and confidence when they do this exercise. I think the second part of value generation, I think risk is too high for a closed source org.
Okay, I guess I worded things poorly.

I believe that without general-purpose computing in the hands of regular folk, getting out of authoritarianism is impossible.

Why? Because authoritarians will still have access to general-purpose computing, and that gives them an even greater amount of power that is even harder to overcome.
Not then, but I will now:

Texas population: 29.53 million

Michigan population: 10.05 million

California population: 39.24 million

180 / 29.53 = 6.09 events per million people

132 / 10.05 = 13.1 events per million people

129 / 39.24 = 3.29 events per million people

It could be worse for other states, but I'm not going to dig for the numbers on my phone. If you do, please post your calculations.
I'd be more inclined to agree with their arguments if the driving test tested more than just having a pulse.

Sure if you can demonstrate that you can do X activity safely it seems reasonable to allow you to do so. However, that hasn't been demonstrated.
1.03 + 1 = 2.0300000000000002
Ask HN: How to Build an AI Chatbot App Without OpenAI API?
Basically a simple AI Chatbot tool for a specific niche but I don't want to use OpenAI API.

Looking for different options and things to consider with each option.

Thanks!
> it doesn't even amount to a megabyte (uploaded) in the last week.

That seems like a lot for a piece of software that doesn't have to send anything whatsoever in order to do its job.
Exactly. I refuse to use Steam, so linux is a no go for me.

I hate it so much when people equal games to steam.
I once built an elevator for a vacuum robot in my old dorm which had two floors. The elevator was moving twice per day to each floor. Was as cheap as buying a second vacuum robot.

Video of the device in action:
https://youtu.be/F_gTlU9w7dQ

Image documentation of the build:
https://imgur.io/gallery/y1dB4zr
Show HN: Create your perfect profile picture using AI
#1 Best AI Profile Picture Generator
Create your perfect profile picture in less than 10 minutes with our AI photographer! Upload 5 pictures and get 30 photos in various styles in minutes!
WASM-4 – Build retro games using WebAssembly for a fantasy console
It's very cool, but the MIT license on that means it will never fit the niche (mainly ideological) that the Hurd was aiming at.

I actually think GPL is key in long-term adoption and is part of at least the early part of Linux's success. To prevent fragmentation. To coax commercial entities to contribute. And to generally encourage community development, rather than forks (since forks require distributing source anyways).

But others disagree, and these days Apache/MIT type licenses proliferate.
Do you plan to support export/download as SVG?
The "diode" effect for the niobium material stops at temperatures warmer than ~6.5 Kelvin (Figure 3.d in the paper).
> Paris is 140 miles

That's only the subway; a better comparison would include at least parts of the RER network, which covers 360 miles; let's say half of that in a range comparable to London subway. And London is much more spread out than Paris, so comparing mileage is not a very interesting metric. Subway station density is another one where London “loses”.

Personally, I found London subway OK, with stations a bit too far away for my taste. The bus network however is better than in Paris, especially their frequency of passage.
Interesting. Question due to unfamiliarity - how reliable are Web Workers? If the main UI thread is up and running, is it safe to assume that any created workers are also running and able to receive/send messages?
AI and the Structure of Reasoning
F# is severely hampered by its standard library, which is object-oriented by design. Some newer things like fluent api's or object initializers are more amenable to F#'s functional style, but on the whole my experience matches yours: as soon as you start interfacing with any .net library, it feels like you're writing in a foreign language.
> This makes no sense. The comparison that matters isn't kernel vs microkernel, its kernel vs microkernel plus all the userland code needed to implement system services.

And also, what matters for performance is the size of the "hot" code. A lot of code, both on a monolithic kernel and on the userland code implementing system services for a microkernel, is going to be "cold" code which executes rarely. This includes initialization code, shutdown code, most of the error handling code, code to react to uncommon hardware events, and so on.

> If my program wants to read a file and write to the network, then the code to do that has to be brought to the CPU to run before my program can finish doing that, and it doesn't matter whether that is in the kernel or userland.

And given that the essential complexity is the same, it's very likely that the size of the relevant code is similar.
Not unless you can trigger the system to load it.
horizontally, all around the lunch room and hallways
Kanary | Senior Backend Software Engineer | Seattle, Remote (US or Canada) | $150k base + generous equity

We’re building software to scrub your private info (home address, phone number, emails) off the public internet. We find and remove this data through large scale browser automation. We’ve raised over 1mm in preseed funding with top VCs (2048, First Star) and privacy-leaders (Mozilla Foundation, DuckDuckGo). Today we have thousands of paying customers, all without a single dollar of paid advertising.

We’re looking for a senior backend engineer to own the challenge of scaling our system in speed, quality and scope. You may be a fit if you have experience rapidly building APIs, managing Kubernetes deployments, solving n+1 queries, and/or scaling browser automation with our stack (AWS, Python/Django, and Go). Everyone at Kanary is involved in product development and experimentation, so you may also be a great fit if you have experience doing CTF challenges or growth engineering work.

Here are some of the things you might work on:

- Minimize QA time and code repetition by extending our templating language using Go.
- Experiment with novel approaches for anonymously traversing the web (captcha solving, browser fingerprinting, residential IPs). Embrace the cat and mouse game of working against the bad guys.
- Performance engineering - identify and implement optimizations across application code (API, serializers, data models), database and deployment configuration

Compensation depends on level, experience, and potential but we aim to be fair and competitive with equity and salary. If this sounds like fun, reach out to our founder, rachel[at]kanary.com.

To help our team respond to you fast, format your subject like: “HN Senior Backend Engineer”

Learn more about our company here! https://www.kanary.com/
Their page lists the 4 ways for a work to go into the public domain:

1. The copyright expires.

2. The copyright expires because it wasn't renewed.

3. They dedicate it to the public domain, and then wait for the copyright to expire.

4. Was never eligible for copyright.

So, SQLite's almost got it done... they just have to wait the better part of a century, and their quest to put it into the public domain will have succeeded.
You seem to be assuming they will manufacture new brakes from scratch, but what about remanufacturing them (e.g. take a worn out part, replace only the specific components that are worn, then put it back into service)?
They're not common, but you can get them https://mathsgear.co.uk/products/rhombic-d12-dice
Booklash: Literary Freedom, Online Outrage, and Language of Harm
I don't know about cool, but I made this black and gold display of Ra on the solar barque, versus the serpent Apep, for the solar eclipse here.
How can it be that we are still using plain text files for editing code?

Wouldn't the grass be greener if a variable were stored as a unique key, making refactoring trivial? Wouldn't the birds sing louder if formatting were just a view on the underlying data? And wouldn't the sun shine really brightly if diffs were to operate directly on the abstract syntax tree?

I fear that this has to do with the great problem of interoperability, and of people not always wanting to work together. What would be a constructive way to coordinate ourselves out of this silliness?
You think a law that forces tech companies to sign deals with Canadian media companies is more problematic than taxation and a check with the country’s flag on it?

I beg to differ. Media companies need as much hands-off from the government as possible.
La Technique by Jacques Ellul
Totally fair, I tossed startup in there pretty loosely as I was thinking about their goals when they originally opened. I definitely don't consider them startups today.
I could be wrong, but it sounds like you are implying that the organs of some people are worth more than the lives the same same people.

Regardless, the discussion has come a long way from:

Motorcycles should be banned if seatbelts are enforced

→ But motorcycles have safety laws as well to protect the rider

→ Not where I live

→ But in other places they do

→ Well I’ll imply—but not state—that those safety rules don’t protect the riders

→ But the safety gear does* protect riders*

→ And then something about organ harvesting of accidents.

This is a silly debate. You’ve convinced me of nothing, you had a point there somewhere, but it got lost in irrelevance. Both motorcycle riders and automobile drivers have safety gear for their own self preservation which they are required to use in most places. Yes there are exceptions to this (such as Florida; or riders of scooters/light motorcycles) but also to cars (New Hampshire does not have seat belt requirements to 17+; neither do many states in India; Bus riders don’t have to wear seat belts in many places; tractors don’t require seat belts; etc.)
https://archive.ph/kgfgn
That doesn't apply when the cost is static (adhering to the above advice of dumping 1P).
Last time I did a 24-hour all-nighter hackathon I wrote about 3K lines of code, but I would not recommend doing that daily.
Getting a 404 when I hit generate
I don’t think you necessarily need to be in an “elite” school. My high school allowed us to take classes at the local university.
Allocation happens roughly like this:

If current top of heap + allocation size > buffer size, allocate an extra buffer for the arena.
Save the current top in a temp variable.
Add the allocation size to the top
Return the temp variable.

It's fast, and the amortized memory overhead per allocation is near zero because you don't need to track allocation sizes or free lists, since you only free the whole arena at once (one or more buffers).

It's ideal for anything where the lifetime of allocations is known to be roughly the same. E.g. a data structure you'll free all at once.
I agree with most of what you wrote, but it’s puzzling to me that you think that proofs are more of a feature of discrete math than continuous (analysis). My first introduction to proof-writing was in geometry, and a majority of proofs that I have read or written have been in analysis. But I was a math major in college.
So just to be clear, you agree that you're treating people differently now? You just justify it by tortured logic based on your traditional superstitions. Just like Judge Douglas and Eich.

As far as making that the law, that's exactly what happened. Eich and his fellow ethically-challenged smallbrains then changed the constitution so that the law no longer applied.
I don't believe it would
Depending on point of view, that may qualify as useful.
Show HN: This Baby Was Never Born
Hey! I didn't care about babies until I become an uncle, so I decided to generate thousands of babies with AI because 1 - I'm a developer; 2 - I love how cute babies are; 3 - every day I can get my daily dose of cuteness. Have fun.
> You can use "will" to create a promise--a contractual obligation. See Bryan A. Garner, A Dictionary of Modern Legal Usage 941-942 (2d ed., Oxford U. Press 1995). When used in this way, "will" is not merely stating a future event, it is creating a promise to perform:

> > Landlord will clean and maintain all common areas.

> In most basic contracts, I recommend using "will" to create obligations, as long as you are careful to be sure any given usage can't be read as merely describing future events. I'm generally against "shall" because it is harder to use correctly and it is archaic.

https://law.utexas.edu/faculty/wschiess/legalwriting/2005/05...
Cool username
> The question for me is, what is safer for my family?

picking up and moving to a location on earth which doesn't require you to own a car to live is the safest bet

it's possible; i'm one (of many many millions around me)
This isn't even true in the US unless you're only counting profits from selling the app itself or IAPs. Android users are most likely less profitable but not by that much, otherwise I'd expect an empty Play Store.
Flagging as fake - OpenAI was using OpenCrawl before, if I'm not mistaken, so it was also respecting Robots.txt
> "Now that we know the shape of lithium, the question is, Can we tune it so that it forms cubes, which can be packed in densely to increase both the safety and performance of batteries?"

Is the idea that they would stack the dodecahedrons into an approximate cube shape, or can they tweak the synthesis so that lithium cubes are deposited directly?