skysight-inc/HackerNews huggingface dataset:
This project name is Github AI Assistant.
it can not only help you automatically translate issues/discussions/pr/commit to the specified language, but also help you with code review, automatic code repair and other functions through AI models.

The project has just started. We will use a vector database to vectorize the code of the entire warehouse in the future to improve the accuracy of AI code review. If you have any good ideas, please let me know.
I occasionally see these channels when they do EV conversions and it's amusing that they need to do a little disclaimer at the start to prove that they're not some kind of Marxist and prove their ICE credentials just because they're interested in an EV conversion.

You sometimes see similar for anyone working on offgrid solar PV.

Possibly it's just the channels the algorithm feeds me but it feels like engineering reality is slowly penetrating the political fog over time.
At the same time he probably didn't think about wikis in that regard since he included an in-depth Civilopedia in the Civilization games before wikis were a thing.
This is unfortunately very true. You also have to be very careful with word/phrase choice in discussion about future work: people often hear “what we could do, is…” as “there is already a full feature that allows you to configure the tool to do…”.

You really have to drill home that ideas and possibilities are just that, and not concrete features that they could start using tomorrow.
Why can't you be more like darling of product over there.

What do you even do around here; all you seem to ever do is take darling of products code and make a few changes (which I don't understand) and committing it as your own work. It appears you are either trying to take credit for darling of product or are sabotaging their amazing 10x work.
Wow. Bike shedding really is expensive.
No lies detected. I love Haskell, but productivity is a function of the entire ecosystem, and it’s just not there compared to most mainstream languages.
That's why the most efficient use of Superman would be to turn a giant crank generating energy
The new solid electrolyte batteries have around 450 Wh/kg, the old liquid electrolyte ones around 270 Wh/kg. Or less for LFP.
> Granted, the tooling is sh*t.

I hear this a lot, but am curious about two things: (a) which bit(s) of the toolchain are you thinking about specifically -- I know HLS can be quite janky but I haven't really been blocked by any tooling problems myself; (b) have you done much Haskell in production recently -- i.e. is this scar tissue from some ago or have you tried the toolchain recently and still found it to be lacking?
I'd argue the syntax is the worst part of haskell. In particular, the lack of object notation for accessing fields (e.g. car.doors) is particularly frustrating.

I still love the language, BTW.
Lots of great points in your post.

Real question: Has WhatsApp ever had a security leak that we know about? Example: Someone can break into accounts, or chats were leaked?
I disagree. I’m fine with millions of recreational users supporting smugglers so that a single patient can get the medicine they need. It was the black market the safeguarded this plant for generations until we came to our senses again.
> I would bet they have one or more simulators

Sadly they do not, but they are starting to write one.
If you can design a new encoding scheme, zero bits is enough.
I really like the idea of getting my day's worth of emails in the morning and responding to them throughout the day while offline (using one of the great folding keyboards!). Hard to emulate that these days though. It feels artificial to put my phone in airplane mode or whatever.
> at the risk of enticing some folks, who have the means but love a deal, to be penny-wise pound-foolish at everyone's expense including their own

If no one did this, wouldn't that just mean that the price discrepancy kept rising and rising?
Hi everyone! A couple weeks ago I stumbled upon ISicily (https://github.com/ISicily/ISicily), a project to encode all ancient sicilian inscriptions in a strict xml language called EpiDoc. While the existing website is great I wanted to make an interface which makes it easy to explore the human stories contained within the inscribed text. In order to aid searching for concepts/terms I've also filled in missing translations/commentary with Claude Sonnet-3.5 translations (this is meant as a recreational tool - these translations are not to be trusted...)

Hopefully I'll be able to add more datasets in the coming weeks - if you know any do shout!
That's interesting, thanks for the context. I think it takes a unique kind of arrogance to self-diagnose medical problems w/ no knowledge or understanding of what you are talking about, and while I love this country I think that arrogance is in high supply here. Many people here aren't aware that it creates a huge strain on physicians or don't care because they think the world revolves around themselves.
That’s a question you should be asking to your lawyer, not to HN.
Yeah I am very much looking forward to that. Over the last 10 years I have made a couple of hundreds of designs in FreeCAD that I have manufactured in smal scale - with FDM/SLA/SLS 3d printing, CO2/fiber laser, and CNC milling in woods/plastics/metals. So it has been plenty productive. But quite often doing workarounds for the topological naming problem, either preemptively or corrective. Maybe I will start to teach it again to others :)
The point is that the Haskell type system is an expressive way of solving systematic bugs. You can express both the data itself and the valid ways of handling it using types, which gives you a space to design yourself out of systemic problems. And when something goes awry, the strict typing and control over side effects means that you can refactor fearlessly!

Re. the example, the compiler can infer types, and you can write almost the exact same code in Haskell as in Python:

doSomething = do
let result = getResult
when (result /= "a result")
(throwError $ InvalidResultError result)
return 42

But as it has been noted, you are unlikely to find code like this in Haskell. An element of Either type at the top level, without arguments is either always going to be Left or always going to be Right, so it is a bit pointless. Since this example is so abstract it is hard to see what the idiomatic Haskell would be, because it would depend on the particulars.
I don’t think the iPhone does naive dead reckoning like that, as the sensitivity of the needed inputs is so high for it be reasonable in a consumer handheld. The cost of components would be way to high, then there’s the issues of power consumption, because you would need to poll all your sensors at a very high rate to get enough accurate data to perform naive dead reckoning accurately.

Instead I think the iPhone cheat a bunch, and use a mixture of step counting, magneto and gyro inputs to perform dead reckoning. The iPhone uses periods when you GPS is in use anyway to calibrate your stride length at different speeds, which when mixed with magneto data to estimate a course direction, would allow an iPhone semi-accurately perform dead reckoning, without needing high resolution, wide scale, accelerometer input.

In short, the iPhone cheats. It’s dead reckoning systems take advantage human bio-mechanics to simplify the problem of dead reckoning, at the cost of building a dead reckoning system that only works effectively in a handheld device that semi-permanently lives on your person. A perfectly reasonable assumption for a phone, but a terrible solution for a more generic dead reckoning system.
"• Emerging VMMs (OpenBSD’s vmm, etc): Haven’t been proven in production"

It's a small operation, but https://openbsd.amsterdam/ have absolutely proven that OpenBSD's hypervisor is production-capable in terms of stability - but there are indeed other problems that rule against it on scale.

For those who are unfamiliar with OpenBSD: the primary caveat is that its hypervisor can so far only provide guests with a single CPU core.
> The library ecosystem is probably the biggest issue.

I'd love to know which things specifically you're thinking about. For what we've been building, the "integration" libraries for postgres, AWS, etc. have been fine for us, likewise HTTP libraries (e.g. Servant) have been great.

I haven't _yet_ encountered a library problem, so am just very curious.
> It is often considered to fall more heavily on women.

Citation needed.
> and etc

The "et" in "etc" means "and", so you have that already.
$150b is enough to buy every single human alive 3 Big Macs. I wish VCs would make this happen rather than pouring $$ into OpenAI.
You can have that syntax if you want it via `OverloadedRecordDot`.

I actually really like the syntax as it makes it easy to write DSLs which are actually just Haskell functions.
Anybody who's ever been in a few meetings that try to put together stakeholders, designers, and developers, know how it will inevitably descend in painful back and forth about a shade of hue or an icon size. People get distracted by colors and graphics, and fail to provide actual feedback on functionality and layouting - which are the hardest bits to change later.

The point of this style is to communicate that it's a rough draft, so that people focus on the essential implementation and functionality requirements, the hard stuff. It's easy to give it a lick of paint later. (It also keeps expectations low, so that the final result will feel like you're overdelivering. But that's just bonus.)
Yeah, I found some 50s ee book teaching how to build variable inductors and caps, and it's mostly geometric relationship with a pivot.
Just another day at the office for the Voyager 1 team. Wow.
Yes, this is why government regulations exist. Market forces are only as good as the walls and maze theyre forced into.
You presume too much about which “us” I represent here.

But the posted piece is a (deeply polemic) piece about a policy intending to warn the international community about CCP influence ops. And your take is “woah, let’s look out for America though”

Sorry, but that points in a silly direction for Europe. But time will tell. Yet again.
OpenSpecimen (biobank sample management database, you could probably write it in a weekend or two) costs 150.000 USD on their pricing page

https://www.openspecimen.org/pricing/
There are a few companies doing it in EU but most of them are focusing on premium classic cars.

For some of those, especially sports car, it can look as a sacrilege but I would have no issue converting say, a Bentley, Rolls Royce or Jaguar/Daimler coach to electric. These used to be built to transport rich people in total comfort, you don't need a smelly, noisy engine on them anyway.
So... Pave shouldn't exists as "Glassdoor exists" and is already providing data?
No, I don't. But even when I turn debug/trace on, I want the logs to have a reasonable signal to noise level.
Have you seen the Excel disaster on genomics? Enough to ban Excel for anything serious except for accounting.
For as much as I would love for this to work, I'm not getting great results trying out the 1.5b model in their example notebook on Colab.

It is impressively fast, but testing it on an arxiv.org page (specifically https://arxiv.org/abs/2306.03872) only gives me a short markdown file containing the abstract, the "View PDF" link and the submission history. It completely leaves out the title (!), authors and other links, which are definitely present in the HTML in multiple places!

I'd argue that Arxiv.org is a reasonable example in the age of webapps, so what gives?
In real-world use cases, it seems more appropriate to use advanced models to generate suitable rule trees or regular expressions for processing HTML → Markdown, rather than directly using a smaller model to handle each HTML instance. The reasons for this approach include:

1. The quality of HTML → Markdown conversion results is easier to evaluate.

2. The HTML → Markdown process is essentially a more sophisticated form of copy-and-paste, where AI generates specific symbols (such as ##, *) rather than content.

3. Rule-based systems are significantly more cost-effective and faster than running an LLM, making them applicable to a wider range of scenarios.

These are just my assumptions and judgments. If you have practical experience, I'd welcome your insights.
True. I often think of Rust as a best-of compilation of Haskell and C++ (although I read somewhere that OCaml had a greater influence on it, but I don’t know that language well enough)

In real life, I find that Haskell suffers from trying too hard to use the most general concept that‘s applicable (no pun intended). Haskell programs happily use “Either Err Val” and “Left x” where other languages would use the more expressive but less general “Result Err Val” and “Error x”. Also, I don’t want to mentally parse nested liftM2s or learn the 5th effect system ;-)
We Designed and Built Our Free Shared Tier
They're also doing well on share of new cars that are EV:

https://cleantechnica.com/2024/07/20/uruguay-ev-sales-report...

Makes a lot of financial sense when your local grid is hydro heavy and most of your oil is imported.
This is utterly horrifying, clearly absolutely zero thought was put into security at all.

I'm a game developer and we put more effort into keeping our game fair than this company does in keeping it's users safe. They should be sued into oblivion.
It sidesteps that problem...
It depends on the state. Here in NC ID is not required to vote, and when they tried to pass a law requiring it, there was a huge backlash.
No, we use plenty of other stuff.

My $DAYJOB language:

* Can't build a binary

* Uses an inexplicable amount of memory.

* Has an IDE which constantly puts itself into a bad state. E.g. it highlights and underlines code with red even when I know it's a pristine copy that passes its tests. I periodically have to close the project, navigate to it in the terminal, run 'git status --ignored' and delete all that crap and re-open the project.

* Is slow to start up.

* Has a build system with no obvious way to use a 'master list' of version numbers. In our microservice/microrepo system, it is a PITA to try to track down and remove a vulnerable dependency.

* Has been receiving loads of praise over the last 18 months for starting to include stuff that Haskell has included for ages. How's the latest "we're solving the null problem" going?

What the GHC compiler does for me is just so much better at producing working software than $DAYJOB language + professional $DAYJOB IDE, that I don't think about the tooling.

If you want to put yourself in my shoes: imagine you're getting shit done with TypeScript every day, and some C programmers come along and complain that it's missing the bare minimum of tools: strace, valgrind and gdb. How do you even reply to that?
> so that compilers can reason about it

Actually this is the wrong takeaway, I think it's so that programmers can reason about it.

This isn't about type errors, it's about precisely describing a particular computational expression. In the python example, it's very unclear what `do_something` actually _does_.
Code sometimes breaks because people read the comment and assume it speaks truth when in fact it's full of lies.

And often for completely different reasons. Blithely assuming it's all about "lying" comments is totally unsupported by any evidence.
People are social creatures, and if they see first hand that the world doesn't match their expectations, it might get them to think about it in more detail.
I think regex can beat SLM for a specific use case. But for the general case, there is no chance you come up with a pattern that works for all sites.
Americans used record 100T megabytes of wireless data in 2023
> Has WhatsApp ever had a security leak that we know about?

I don't know of any, but I distrust anything Meta/FB/MZ does, out of principle.

I have more trust in iMessage, but it's incredibly tightly tied to Apple's devices (as far as I can tell, part of its security architecture relies on the hardware/SEP).

Signal (as a non-profit org) could have been a neutral third party everyone could feel safe to trust, but they've lost my confidence when they introduced support for cryptocurrencies - I can no longer trust their motives. It also does not offer any choice over some security/usability trade-offs (like syncing your chat history to a new device); I understand this is critical for e.g. whistleblowers, but a deal-breaker for many of the rest of us.
Your criticism seems more general than just Python and Haskell. It's really about dynamic and static typing. That's a legitimate debate, but as far as static typing goes, Haskell has one of the best static systems around - and because of that, idiomatic Haskell is unlikely to look like the example you posted.
Kolmogorov-Arnold networks may make neural networks more understandable
The world is a complicated and messy place.
A timeline of R's first 30 years
I built an open source Codepen alternative – Devcanvas
DevCanvas (devcanvas.art) began as a fun experiment born from my journey learning SvelteKit and Supabase. What started as a simple platform for storing code snippets quickly evolved into something much more cooler: an online editor that makes it easy to prototype and share ideas quickly and effortlessly.
As a male scientist and engineer, I am also on antidepressants :(
Why Claude 3.5 Sonnet is missing from the benchmark? Even if the real reason is different and completely legitimate, or perhaps purely random, it comes across as "claude does better than our new model so we omitted it because we wanted the tallest bars on the chart to be ours". And as soon as the reader thinks that, they may start to question everything else in your work, which is genuinely awesome!
This wouldn't be surprising. It's sad they've let it atrophy the way that they have. My understanding is that they purchased it to train their digital assistant on the voicemails (where we would correct the transcripts for free)
And it's EoL after about 40 years too.
There isn’t a simulator or digital twin for voyager. It has a bespoke processor made with 74* style logic. One guy will puts together a command and they will have a review where the other engineers will try and independently verify it. Then they copy and paste the command somewhere to “run it”. It happened, fairly recently, that the command had a typo that was caught in review, but the “wrong” pre-review command was used and the attitude became off by so much that they lost contact. It was only by cranking up the power at Goldstone that they got a command through. This fundamentally changed their understanding of the largest angle for which they could still communicate with the spacecraft. They just hadn’t wanted to try larger angles before because it was too risky.
OpenAI's new Strawberry model may be smart, yet sluggish
Buy the dedicated processing core package if you need to command a shared resource, of course

This is a fundamental to the market, welcome to the cloud. Or VPS before that.

I still rent dedicated servers, hosting my own VMs. Cloud pricing is predatory but not forced.
Exactly what I mean - car freaks (if they are not "combustion engine freaks") with enough disposable income surely love this. But it's not a feasible way to transform the individual transport sector to a greener footprint.
Live.Watch: Hatch due to open as non-professional astronauts set for spacewalk
Was curious about the issue, found this: https://wiki.freecad.org/Topological_naming_problem
I wonder if there’s a “Head of Cloth” at Apple.
EV batteries are 400 to 800 VDC. A damaged/defective panel/component would present a potentially life threatening hazard if accidentally touched.
Interesting question. First I'd say veganism isn't a monolith, so opinions will probably differ on the matter. For instance, there is some debate about whether figs are vegan since they are pollinated by fig wasps which then die inside (but are completely absorbed by the fig). I think galls fall into a similar space, but perhaps are less of an issue since they are nominally rid of the insects once they are harvested (though I somehow doubt it can be guaranteed to be completely larvae-free).
Pfft, OP will be telling me next Jerry Lewis is vice-president, and Jane Wyman first lady
Sum types are finally coming to C#. That’ll make it the first “Mainstream” language to adopt them. Will it be as solid and simple as Haskell’s implementation? Of course not. Will having a backing ecosystem make up for that deficiency? Yes.
Framework Convention on AI and Human Rights, Democracy, and the Rule of Law
> in every apartment's parking lot

Provided there is a parking lot.

Even owning an EV motorbike is sometimes difficult, I have been looking for an e-motorbike/moped and there are only a couple of models with an extractible battery and only one I have found that has the battery that is easily transportable (you pull it like a trolley bagage) when your bike is staying in the street: The Silence S01 and S02 (S01 being also sold under the Seat brand).
No wonder EU nations like Germany are going bankrupt - all industry fleeing since Germany now pays 4x the cost of energy to the U.S.
Zero thought was put into anything.

Before I realised the app was a buggy mess I was very surprised to see it had an interests section that provided no context for the interests. For example: virtually everyone had Domination or Submission as one of their interests but no context whatsoever of which role they wanted. To not realise how fundamentally wrong this is for that scene implies they're clueless across the board.
Namespace is merely a workaround, not a solution. Arbitrary namespace prefix is still open for registration so it can be squatted just like package name. One essential part of the real solution would be sandboxing of build scripts.
I feel like you've specifically picked the worst part of each language here.

Haskell's syntax, like many FP syntaxes, is inscrutable on first acquaintance. There's a reason hybrid languages like Elixir thrive...

Rust's memory management is a great boon for a close-to-the-metal language, but if all your types are immutable you don't actually need/want to deal with the borrow checker.

Typescripts toolchain and ecosystem are... ok, at best? I'd give a solid pitch for the Rust ecosystem having reproduced the best parts thereof (and there is still room for improvement even so)
> the vast majority of time fixing problems in software development is spent on systematic bugs and issues, not on dealing with type errors.

You can make "systematic bugs and issues" a type errors, then deal with them as type errors.

If you can confuse between meters and seconds expressed as Double and erroneously add them, wrap them into types Meters and Seconds, autogenerate Num and other classes' implementations and voila, you cannot add Meters and Seconds anymore, you get type error.

I do that even in C++, if I use it for my personal projects. ;)

But where Haskell really shine is in effect control. You cannot open file and write into it during execution of transaction between threads. If you parse text, you also can restrict certain actions. There are many cases where you need control over effects, and Haskell gladly helps there.
How to stack multiple Git branches and rebase them like a pro
There's a documentary "It's Quieter in the Twilight" about the team keeping the Voyager missions alive: https://www.youtube.com/watch?v=8vJT8AW0wYw
Someone should make sure that The Guardian sees this