skysight-inc/HackerNews huggingface dataset:
Thank you for such a thoughtful, considered – and considerate – response. I appreciate your diligent attention to what is surely a highly demanding job. Thank you for your service.
"starting at around £1200"! It would need to bring it to my chair for that price.
I think the resolution is being much less strict on paper appendix size. And slightly shortening the main body of a paper. Let the main text communicate to the experts. Let the appendix fill things in for those looking to learn, and for the experts who are sceptical.
I mean, it's not a very interesting research topic? People who are poor and young commit certain categories of crime more often. That has nothing to do with immigration or race or whatever.
Chain Abstraction – Etherspot Pulse Demo – Unified, cross-chain user experience
"1.1 System Requirements. This version of GW-BASIC requires MS-DOS version 3.2 or later."

Does Windows 10 count as "or later"?
heh. z-buffers a new :)

interesting, i have used such lines-cuts-chops "layouting" 20y ago for completely non-spatial context - overlapping timelines of validity of values (1-or-bi-temporal) influencing X, and then calculating the value-in-time of X from combining those time-chops
Everyone who got tired of Ruby and Rails during its hype years has since moved on to various other technologies, now most of the people who are still working on Rails are the people who agree with its design choices, which explains the amount of praise it gets.

IMHO the major upsides of Rails were subsequently adopted by almost all major frameworks in other languages. It may not be sexy or make HN front page a lot, but Spring Boot definitely "caught on", for example.
Steven Bartlett sharing harmful health misinformation in Diary of CEO podcast
I don't think it really demonstrates what humans can do if they can put their mind to it. I think it demonstrates what a 1 in 8 billion type edge case looks like.
Not only were they fast but the codegen was very small. It had exception support before there was any real standardisation on how they should work.

It was also before RAII was a thing and so you had to manage the ‘CleanupStack’ [0] yourself.

At least for the development of the OS itself, and not frameworks such as the awful Series60 UI, we had have unit tests that brute forced memory correctness by getting the memory allocator to deliberately fail at each next step of the code being developed until it succeeded or panicked.

[0] http://devlib.symbian.slions.net/s3/GUID-E7D29464-05E1-5039-...
ah, thanks for catching the typo, it was getting late for me, I should have pulled up a link or something because I haven't worked with these discs in a decade or so..

yeah those are the ones I'm referring to -- if you're archiving something like family history or data that needs to be good for centuries (without having to re-copy and juggle), those are a better choice than just about anything else.

https://en.wikipedia.org/wiki/M-DISC
>what will it improve?

it will make you (as of now) unable to use thunderbolt and therefore a dock. Maybe you see that as improvement. I kinda like my thunderbolt
That feels like a very high bar. A really good 500Wh/kg battery would already be completely revolutionary. That’s when you start to unlock practical short range electric flights for instance. It’d probably be enough for all forms of land transportation as well (except very small niches, like if you need to cross a huge desert off-road)

If you get to 1kwh/kg I don’t think you even need good durability and low price to have a revolutionary battery. At that energy density it could make economic sense to do medium range battery electric planes, even if you need to replace the battery every year. The operational costs related to using jet fuel (both fuel costs and engine maintenance) are huge. So the airplane industry can work with batteries that are more expensive and that requires more maintenance than what the EV market would accept.

I’m sure there’s a bunch of other niches for such a battery.
Perhaps an alternative way for the C-suite to fund their bonuses since they no longer get a golden parachute?
Great talk, thanks, nice to see other creative uses. Great idea to add LiveView and SVGs for the keyboard UI.

"…thanks to hot reloading, which — for once — is useful…"

That seems to sum up the sentiment that hot swapping in Erlang has uses but they're generally not aligned with what Erlang is typically employed for. It seems like it would be great for tight game dev loop feedback and iteration too, for example, but that's not a traditional use of Erlang either.
Does that make it "open source"?
I think any software engineer can identify with the feeling you get at the moment you do the first run of the solution you have implemented that you are 100% sure has to fix it only to find nothing has changed.
I often bang on about Software as a new form of literacy - and that just as organisations that were staffed by literate people (Catholic churches, nation states, banks) were qualitatively different to organisations without literacy (stonemasons?) then software literate companies (I call them programmable companies in my upcoming book) will be different from the ones we know today.

And this is an example I feel of the form evolving.

The point that AI could not learn from a vague mission statement (whereas most people today would think wow that’s a good start to a two year project) suggests that AI companies as Ng suggests are “just” well thought out companies.

Sorry not making a lot of sense - what I think I mean is that one can write down a human sentence and the phase space of possible meanings is very large - the behaviours that meet the specification can be huge and most projects are attempts to find a working output that meets that and has everyone understanding it.

But a *working* piece of software has a much more constrained phase space of possible behaviours - just to get it working (or even get a set of tests it must pass) drastically reduces the possible behaviours and so makes clearer intentions and makes the discussion more focused.
The three basic guidelines are:

* Specify the product as concretely as possible

* Use existing applications to test feasibility

* Get non-engineer user feedback on early prototypes

These all obviously apply to product management more generally, but Andrew gives some examples/ways in which they apply specifically to AI products. Still, I feel like they're talking more generally about complex/abstract software engineering rather than simply AI.
> It does have syntax for them, but that is just syntactic sugar for an class with a single method under the hood. So streams end up doing lot of object allocation and garbage for the fake closures.

In Rust a closure is really just a struct that implements up to three closure traits, each of which provide a single function. So from that side of things, what Java is doing for them isn't inherently different from Rust.
Gboard's implementation is super annoying for me because it keeps trying to skip over word boundaries, and it's quite difficult to move just one or two characters over, because it waits for you to swipe far enough before activating any movement. Just awful.
Cloudflare Radar – Year in Review 2024
Seems like good way to get third degree burns if you're not careful? I just put my water filled mug in the microwave (with a spoon in to avoid superheating).
> Domain names themselves are a loss leader for registrars.

Doubtful. Registrars have almost no costs - any markup over the registry fees is almost pure profit.
Yeah, for storage it would be nice if there was a hole in the espresso maker's arches to hold the grinder. Even people with the money to buy these products need efficient storage.
EUPL – Why viral licensing is a ghost (2015)
So like a 1500 rated human?
If you look at the Wikipedia page for second order arithmetic, there is a definition in the language of first order logic as a two-sorted theory comprising a handful of basic axioms, the comprehension scheme, and the second-order induction axiom (in your first mathoverflow link, this is called Z_2):

https://en.wikipedia.org/wiki/Second-order_arithmetic#The_fu...

An other equivalent option would be to use the language of second order logic, where you only need a finite amount of axioms, because the comprehension scheme is already included in the rules of second order logic. This one is PA_2.

Since these definitions do not refer to anything uncomputable such as mathematical truth, both systems are clearly recursively enumerable. This means that Gödel's incompleteness theorem applies to both, in the sense that you can define a sentence in the language of arithmetic that is unprovable in Z_2 or PA_2, and whose negation is also unprovable.

All of these considerations have little to do with models or categoricity, which are semantic notions. I think your confusion stems from the fact that model theorists have the habit of using a different kind of semantics for Z_2 (Henkin semantics) and PA_2 (full semantics). Henkin semantics are just first order semantics with two sorts, which means that Gödel's completeness theorem applies and there are nonstandard models. Full semantics, on the other hand, are categorical (there is only one model), but this has nothing to do with the axioms not being recursively enumerable -- it is just because we use a different notion of model.

PS: I certainly do not consider mathematics to be included in computer science. Even though as a logician, I have been employed in both mathematics departments and computer science departments...
I use Windows at home (with WSL), Hackintosh and by extension macOS at university, and Linux at my company (bare metal, not WSL) alternatively almost every day with Linux and Windows being the dominant one.

In fact, Windows is my dev workstation, game battle station and media consumption all in one. And with WSL I can easily have the best of many worlds. So that why I'm the most productive on Windows. While it being a jack-of-all-trades may mean it is indeed a master of none, but it doesn't mean it is not capable of being productive. So, I'm very confused why you'd find Windows unproductive at all.

And on the contrary, there is a lot of little bugs and stuffs in bare metal Linux that almost got me infuriated all the time and I tunnel visioned on fixing them...Bluetooth mysteriously doesn't work for one. Hyprland (and by extension Wayland) clipboard doesn't work with Vivaldi and VSCode under flakpak sandbox is another that I hate, plus RustDesk does not support Hyprland too...I use Fedora Silverblue btw, and distrobox let me a little bit off when I'm trying to setup podman when things didn't work as intended.

While macOS...while it just works, well I don't appreciate the eye candy and people often claim to have the most productive on a Mac but to be honest I just don't see the appeal at all...but having every app "containerized" and using Zsh by default is nice tho
Show HN: Designed AI-based performance review writer
OpenHR AI is an AI-powered performance review platform that uses your voice to generate personalized performance reviews. We want to build delightful experience for boring HR workflows that you'll enjoy doing. And we want to keep it open source.

We've put a great deal of attention and care to cut down the time it will take for you write prompts, get the output in right format, and generate high-quality performance reviews. This tool is for busy professionals who want to write better performance in minutes. Not hours.

Github Repo: https://github.com/ajitesh123/auto-review-ai

ps: this is one of those with "open" in name and is open source (unlike OpenAI, OpenTable, OpenText ...)
Noise from the jitter it seems.
Creating Awwward animation became easy with BuildFast
I spent plenty of time working on this...

Introducing http://BuildFast.es — Make your websites look like from Awwward!

Learn to make amazing animations by ready-to-use codes

Even if you're 0 at it

Everything to create an amazing impressions for your business

It's 30% off for New Year — 17 days left.

Enjoy!
> The fact that nobody would make a Doctor Zhivago or even a Back to the Future today is not something I can fix with all my searching.

What do you mean by that?

I'm not familiar with Doctor Zhivago so I had to look it up, the 1965 film is based on a 1957 novel, which seems to match just fine with the pattern of The Martian, The Three Body Problem, Game of Thrones, Fifty Shades of Grey, etc.

Back to the Future is a fun trilogy, but the first film was mostly set in 1955 (so if it had been done today the past would have been 1994, compare to Captain Marvel being mostly set in 1995), the second film was 1985's idea of 2015 (and we still get plenty of what-if fiction in the near-ish future, e.g. Blade Runner 2049, Cyberpunk 2077), the third was yet another wild-west Cowboys-and-Indians gunslinger (1885) — but if you mean to focus on the more playful and fun aspects of how it was put together, or the positive vibes of good people working to solve problems and where it's clear who the goodies and baddies are, BttF reminds me more of The Orville or Lower Decks. (And The Martian if you want to consider the environment/time travel itself, rather than Biff, to be the problem).
Join and enjoy now devs ;)
Rural Identity as a Contributing Factor to Anti-Intellectualism in the U.S.
I'm not talking about that I'm talking about the technicalities of the ruling. Go away

Its a classic maximisation problem something the overblown ai skating community should understand nothing to do with feelings or secret agreements because of that. Should be allowed to buy back goes own stuff minus debt no, but go fix the system if you don't like that...
Albeit more user friendly it does look dated and not as premium.
> The black magic comes at the cost of not having one streamlined procedure to release stuff.

You can also have a streamlined procedure to release stuff. Most changes in my erlang based system consist of "push to staging branch, click to deploy and test, pull to master, click deploy button". Can't be simpler than that. Most changes in such systems are also pretty simple. When you need to add something big, typically not many things are dependent on that, so deploy is also pretty simple.

> But most of the time you will do better job with PHP in a stupid restartable box behind seven load balancing proxies.

Yeah, we talk here about more complicated things here. If you have something simple, you don't need to use erlang, `python -m http.server` will be even simpler than your php in stupid restartable box, because you don't need a special box, just one small command.
They do move around, but they drift down to the bottom of the eyeball, so they're not very noticeable when looking forward. I really only remember they're there at all when I'm looking down.

The standard advice for dealing with floaters is "wait six months for them to settle out", so I didn't bother seeking out a doctor. And most of them have settled (maybe still are settling?), but it's now been long enough that I should probably check in with someone....
Creativity used to be the word.

Now it's innovation.

These words are not synonyms of each other. Creativity dropped out of business-speak around 2000.
The founder is also behind medium.com, if that sheds any light on the risk of enshittification.
Bitcoin are non fungible and by design traceable. Anybody can figure out where they came from and gas station and post office have security cameras. Use the right tool for the job which is monero.
Virgin Galactic signs agreement to study suborbital spaceflights from Italy
Wow, just incredible props for getting this over the finish line. As someone who has manufactured a purely mechanical product, I can't imagine the hassle dealing with factories on this. They absolutely hate doing anything they haven't done before, especially if the tolerances are tight.

The products are right up my alley too, though I'm all manual at this point. I hope the Trefolo and Turbina are both so wildly successful that you end up making manual versions of both. :)
Worse than that, it's one of the go-to get-out-of-jail sequences for Windows windows that are misbehaving. Got a window that you can get focus to but it's not on screen properly? Alt+Space, X to the rescue!

They'd better not break this.
> manages to fill about ~20GB on a regular basis

Unused memory is wasted memory, so makes sense to always have a lot in memory. Doesn't mean that you'd have a worse experience with 16GB.
Non-technological issues in software engineering (1991)
exactly and it’s fantastic that we have social sciences to prove that there is a correlation between poverty and crime.

otherwise, misrepresentations of issues (like the parents) would be over-represented publicly and not refuted.

(which is important, because tackling crime is only possible if you understand the actual causes themselves.)
Interesting, thanks. I really like the idea but the thing I'd miss from our kettle is the ability to change to lower temperatures for different kinds of tea. You shouldn't really use boiling water for some kinds of green tea, for example. I guess you can mix in some cold water to reach close to the right temperature, but I'd miss the convenience.
I have the same impression. I guess the machine is completely passive regarding temperature and requires a) a preheated water source and b) a hot-water flush before each use to heat the machine and push hot water into the hoses

That means it’s a pump attached to a grouphead.
I'm curious: don't you think the aggregate interest of the HN crowd is adequately measured via the voting mechanism? You seem not to find BlenderGPT as presented in its current form uninteresting, but if you accept that (voting up)=interest, many other people did. Why dismiss("go to Reddit" comment) someone else's work, that, evidently, many other HNers find interesting?
How to rank at the top of HN using AI to write articles about how to use AI as a product manager for your AI app on your journey to being replaced by an AI product manager
But running such a series hybrid with minimal charge of the batteries means almost all power is from the engine. And if that is undersized that won't end well.
The extremely online life of the American teenager
He has "full body" shots in the actual store, but I agree—it would be great to see a clearer shot, maybe lower in the flow.
Nice! As someone who has never used an espresso machine, I was a bit intimidated by the presentation. I think part of your show should be to teach, even if in a simplified fashion, how to use the machine, so any customer is less intimidated :)
And that's a really really sad story.

And then seeing people say >I don't understand it either, a 16 GB DDR5 stick costs like $50

50 bucks is a lot of money to a whole lot of people. Yes, actual computations and compilation etc take a lot of memory, but there is so much memory wasted through js bloat, it's just sad. But if you take a little effort and optimize your system, then 16GB is still more than enough and "just works"
What’s another dignified option when it reaches terminal?
Good: This website is well designed. The feature-set is limited but it's more than enough for most folks. The UI is also pleasant.

Bad: The currency set is restrictive. Two of the currencies I work with are missing. I suppose it would be a small addition to support any currency code (it's just a prefix for the most part) or symbol (like ₹ for INR).

Opinion: Personally I would prefer a CLI tool that would that would take a template and a table to create many invoices in bulk, but this still a good option.
Show HN: mcp-golang – Build custom tools for LLMs in go
Anthropic released the Model Context Protocol a couple weeks ago - https://www.anthropic.com/news/model-context-protocol. They have official sdks for python and typescript but nothing for go, so I wrote one!

The main goal is to provide a low boilerplate sdk to write MCP servers, you can spin up a server which can give an LLM access to weather forecasts like this: https://github.com/metoro-io/mcp-golang/blob/main/examples/g... . Using it here: https://youtu.be/xaMkMl_R-0A

The library handles generating all the MCP endpoints and input schemas for the model by introspecting the types of the structs + annotations for the handlers.

I'm currently working on filling out the rest of the optional server features in the protocol and hope to move on to a client implementation soon. If any folks find this interesting, help is always appreciated!
This reminds me of a plot twist from Gundam 00, where a device whose nature is absolute radar stealth via radio absorption is detected by flipping the situation: Saturate an area with radio waves and look for silent spots, the stealthy Gundams thus sticking out like sore thumbs.
> Also, for $700 independent reviews are also a must.

Also for $700 you don't want to be the guinea pig.
Also related to the article, PowerShell has PSReadLine, which implements a pretty reasonable text editor, including selection, copy/paste, classic keybindings such as Home/End/Ctrl-arrows, sane multiline command editing, semantic autocomplete and custom actions that can operate on input AST.

Once you get used to having all that, going back to other shells is pretty hard.
People hunt for counter examples to proofs they are working on. If the basis of their work is wrong, it's quite possible for one of the counter examples to also disprove the base theorem. So building on a faulty foundation is likely to reveal faults in the foundation.

Similarly, once in a while math gets applied and is used to make predictions. When the math is wrong, those predictions are wrong. And those wrong predictions draw a lot of attention.
Good point. Someone shared this in case someone wonders:

https://elixirforum.com/t/how-to-tweak-mix-release-to-work-w...

> I’ve spent some time understanding how to do hot code reloading with releases built using mix release, and here I’d like to detail the steps needed, in hopes that it will help someone.
it really is amazing how many people have no interest in doing a good job, nor even any interest in protecting their good name.
With industrialization, information, and intelligentization, the world, as a massive factory, continues to produce increasingly homogeneous products. In turn, the things we see, hear, and learn further reinforce this homogenization. Amid this torrent of information, we find ourselves trapped in an "information cocoon." The ease of accessing information has made us overly reliant on passive consumption, leaving us unwilling to engage in deeper, critical thinking—precisely the foundation of what makes us unique.
I'm not sure some of this is a good idea. It reads a bit like "These LLMs are great! We can get rid of those pesky engineers!". It reminds me of the xkcd[1] about how some problems are trivial and some are almost impossible and as a layman you don't know which is which. That's more true than ever will LLMs, everything is new and so very few people actually know what is easy and what is hard. When you say "You can go off and do this without engineers and use AI to help you" what you are actually saying is "You can go and be a bad engineer". That's fine, if you don't have any engineers, then that's probably the best option. But if you're sensible probably a 5 minute conversation with someone who knows what they're talking about is more useful. In my experience as an engineer, the people who do jobs related to my job and think they can do my job: are crap at my job, generally not that good at their own either, and very difficult to work with.

I think the more interesting question for the PM is how are you going to make a differentiated product in the market if everything you're planning to build is trivial? If it's not trivial, maybe talk to an engineer or two.

[1]:https://xkcd.com/1425/
Thank you -- all these weird close up shots accentuating the curves, but no idea what it looks like just sitting on a table.