skysight-inc/HackerNews huggingface dataset:
Coincidentally I've started using the Haskell LSP around two years ago, and crashing is not one of the issues I've had with it.

Since you mention F#, and C# in your previous comment, are you on the Windows platform? Maybe our experience different because of platform as well. Using GHCup to keep in sync compatible versions of GHC, Cabal and the LSP probably contributed a lot to the consistent feel of the tooling.

I use the Haskell LSP for its autocompletion, reporting compile errors in my editor, and highlighting of types under cursor. There are still shortcomings with it that are annoyances:

* When I open up vim, it takes a good 5-10 seconds (if not a bit more) until the LSP is finally running.

* When a new dependency is added to the cabal file, the LSP needs to be restarted (usually I quit vim and reopen the project).

* Still no support for goto definition for external libraries. The workaround I have to use in this case is to `cabal get dependency-version` in a gitignored directory and use hasktags to keep a tags file to jump to those definitions and read the source code/comments.

The later two have open GitHub issues, so at least I know they will get solved at some point.
The Haskell LSP crashes less often now than 2 years ago. It isn't perfect yet, but pretty usable for us.
They're talking about link rot, not hosting for the website itself.
I would rather live in a world where information is free and we learn to deal with that rather than one where information being free is subject to whatever powerful group is in charge at that moment, whose interests will never align with citizens'
Probably referring to something like spring (for java), which is a one stop shop for everything, including things like integration with monitoring/analytics, rate-limiting, etc
We do use other ecosystems, yes. I haven't really found the tooling for Haskell to be particularly obstructive compared to other languages. I've run into plenty of mysteries in the typescript, python, ObjC/Swift, etc. ecosystems that have been just as irritating (sometimes much more irritating), and generally find that while HLS can be a bit janky, GHC is very good and I spend less time scratching my head looking at a piece of code that should work but does something wild than in other languages.
Yes, this is nuts. It's performative micromanagement for the sake of maintaining status.

If the end product is indistinguishable, and the user experience is inferior (because it takes so much longer, and customers are just sitting there, waiting, hungry...) literally the only difference is the assertion of management/owner status for the sake of it.

That might have some marketing leverage for a restaurant, but "We write everything in machine code with a biro before hand-assembling it" isn't going to win any hearts and minds in software dev.
It looks to me like perspective distortion from an ultra-wide lens. Both distant hands look disproportionately small. Even the right man's head is deformed, with the back larger than the face. There could be too little space in that room, forcing such extreme wide angle.
You mean 14,881 bike sheds.
The thing that I really loved about Flash and miss still today is that it contained the dynamism: the web page around the embedded Flash object was just plain old HTML. This meant that I controlled whether or not the Flash played.

By contrast, Javascript runs without any action from the user. Consequently, web designers have grown to rely on it always being there, and now many sites rely on it to do things that can be done in pure HTML.

And oh by the way, they also violate my privacy something fierce.
Skynet vs. Futudo: The Battle for Human OS
While Skynet aims to terminate, Futudo coordinates to elevate. The future's not about machines vs. humans, but machines WITH humans.
Why not create a Show HN instead? It will probably get more attention
What are your thoughts about what's coming?:)
> Since you mention F#, and C# in your previous comment, are you on the Windows platform?

Linux Mint.
That, paired with the name deisteve, makes me think that this account might lack sincere scruples.
I kind of agree that Haskell missed its window, and a big part of the problem is the academic-heavy ecosystem (everyone is doing great work, but there is a difference between academic and industrial code).

I’m personally quite interested in the Koka language. It has some novel ideas (functional-but-in-place algorithms, effect-handler-aware compilation, it uses reference counting rather than garbage collection) and is a Microsoft Research project. It’s starting to look more and more like an actual production-ready language. I can daydream about Microsoft throwing support behind it, along with some tooling to add some sort of Koka-Rust interoperability.
Thanks for the laugh, that was great.

Seriously though, the tendrils of Chinese money run deep and wide to extents I'm sure most people simply can't realize.

To demonstrate China's influence on video games around the world: Epic Games (USA), Ubisoft (USA), Riot Games (USA), Paradox Interactive (Sweden), Kadokawa (Japan), Marvelous (Japan), FromSoftware (Japan), Visual Arts Key (Japan), Netmarble (South Korea), Frontier Developments (UK), Digital Extremes (Canada), Roblox (USA), and Discord (USA) all have Chinese money in them through Tencent.[1]

[1]: https://en.wikipedia.org/wiki/Tencent#Foreign_studio_assets

And that is just Tencent in just video games (and Discord). I've not even gotten into all the other Chinese game development outfits yet, let alone other markets entirely like Tiktok and Temu as another commenter pointed out.

Also, that list of Tencent influence was absolutely depressing to type out.
Dairy intolerance?
In German, "dämpfen" means all of the above, and also "cooking in hot steam" :)
The True Nature of LLMs
Hi HN, I'd love to get your thoughts on this one! Anyone using LLM, hidden inside an app, just as a reasoning 'brick' to progress some workflows, decide on best math, etc.
> definitely seen people struggle to wrap their head around...

I think it's a top-down vs bottoms-up approach to solving a problem.

Most people actually think in terms of top-down. They break a problem down into smaller sub-problems, which they then either break down more or has done sufficient breaking down to solve it.

I think functional style of thinking would make you do a bottoms-up approach to problem solving. You will create a very small solution (function) to solve a very trivial version/type of the problem, then repeat for each small thing. Once you have sufficient number of basic functions written, you can assemble them into solving a bigger problem.
Assume that you're timesharing with at least two others, then. Shared is shared.

I don't say this in defense of the pricing, just against surprise.
I grew up in a very international diverse environment, but I cant name a single popular movie, song, or other media that I knew is from China, other than the meme where John Cena is eating icecream. I suspect this is the same for over 95% of Americans.

What soft power are you referring to exactly?
I don't know what the public and press would do other than take up space at an infosec conference.
> when I was forced to buy “Mindmanager”

Under what circumstance would you be forced to buy a mind-mapping software? Sorry, I am really curious about this now.
As far as I know, currently, independent developers are developing the most tool products.

Tool products have relatively simple functions, focusing on solving a problem, and the cost of building them will be lower.

For example, calendar software, color picker, sharing card, extracting HTML plug-ins, etc.

These may be websites, apps and Chrome plug-ins, most of which do not require high-cost servers and paid third-party services.

AI is very popular now. For example, I will focus on some applications in this field, and I hope to get some opportunities in this regard.

Back to your personal topic, there are many people who use similar ideas to solve similar problems. There are many manufacturers of the same type of function, and there are many interfaces. Then someone connects and implements these interfaces and provides a unified interface to the outside world. Then provide API services for others to use, so as to make profits.

Therefore, this path is definitely feasible. But you have to consider how big the market is, and the most difficult thing is, after you make it, how to get more and more people to use your product through promotion, marketing and other means.
A 3.23 miles long, central part of M2 metro line in Warsaw, going right under
city centre, costed around $1b in 2012.
3miles for $2bln under densely inhabitated city.

https://en.wikipedia.org/wiki/Weinberg_Tunnel
> 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?

You tell them to strace/valgrind node whatever.js and instead of gdb use built-in v8 debugger as node inspect whatever.js
The New York street grid patterns were covered tersely but sufficiently about 60 years ago by legendary cartographer Saul Steinberg:

https://www.reddit.com/r/MapPorn/comments/kft9cz/a_view_of_t...
> Nested virtualisation [...] challenging to emulate the underlying interfaces with flawless fidelity [...] dreadful performance

It is so sad that we've ended up with designs where this is the case. There is no intrinsic reason why nested virtualization should be hard to implement or should perform poorly. Path dependence strikes again.
> TL/DR: Haskell makes you add more meta information to the code, so that compilers can reason about it.

Actually Haskell lets you to add more meta information to the code, similar to modern Python or TypeScript. Type information is optional. But you might want to add it, it is helpful most of the times.

In the example, doSomething implicitly depends on getResult, which doesn't show up in the type information, so the type information only tells you how you can use doSomething. To know what is doSomething, you actually have to read the code :\
Disturb it by asking stupid and pointless questions? Hunt after and bother people trying to do actual work there? I only really see negatives.

Best thing I think can reasonably be asked is a streamed press conferences afterwards.
Even more so when you consider that it was a "mental health" startup.
Haskell programs are hard to read and hard to reason about. That is the reason the language is not very practical.

The promise "if Haskell program compiles, it is probably correct" have not materialized. The most popular Haskell project Pandoc has 1000 open issues.
https://en.wikipedia.org/wiki/Persecution_of_Uyghurs_in_Chin...

https://en.wikipedia.org/wiki/Human_rights_in_China

https://en.wikipedia.org/wiki/Territorial_disputes_of_the_Pe...

Support of https://en.wikipedia.org/wiki/Russian_invasion_of_Ukraine

To name a few.
There's nothing I followed. Basically, the house already had CAT5e in certain places through conduit, in others only conduit, etc. If there's a conduit, and if there's a any cable inside whatsoever (even electric) you can use the existing cable to pull on the new one - which I did for CAT6A (no reason to run anything else, but that's a different topic) and I also tied duplex LC UPC to it so both were pulled together. Sometimes there were either bends or whatever in the walls which lubricant solved. Only advice there is is to get a good electrician and either assist him doing that or have him do it. Single person cannot do it. Aftewards run tests on the cables. Tester you need are like 10-20 bucks each for UTP and for fiber (VFL). Terminate all to a a keystone onto a wall mounted plate and that's it. I have those plates that fit multiple things in it so it's a single plate with all connectors. My only "regret" is that all the conduits I have in house from various rooms all lead to a crawl space in attic. It's fine, and it's big enough to fit a small rack, but I'd prefer to have it all terminate to a basement for full rack and larger ventilation. I couldn't run everything from rooms to the attic and then through a single conduit to the basement, just no option to do that as such. I ran both UTP and fiber because UTP gives me POE and no need to wrangle transceivers.
The article makes a point of this further down:

“However, the core of that argument is that if you’re going to sit passively inside looking at a smartphone then you might as well be looking at images on the Internet.”
Oops! Is there any way to fix it? I can't find edit button.
Rust is mainstream, just not use in enterprise applications
Brute Force Rust code: https://github.com/rhulha/ZipMcKracken
It doesn't perform poorly in fact. It can be tuned at 90% of non-nested virtualization, and for workloads where it doesn't, that's more than anything else a testimony to how close virtualized performance is to bare-metal.

That said, it does add a lot of complexity.
Apple, like other european giants, sends all its European business through Ireland, which is a convenient tax haven. Now, Ireland seems no longer happy being the tax haven, and Apple is forced to pay somewhat normal taxes.
These are what I have my eyes on - a small battery to do 10-20km trips within the day (and easier parking as there are designated charging points for charging EVs in my city). Any personal recommendations for a a crossover type car?
Bullshit website created today
Everytime I use cabal and/or stack, it gives me a wall of errors and i just reinstall everyrhing all the time.
> It's not like phones improve sufficiently to justify buying a new one, but the battery lose charge significantly over time.

A five year old car engine is basically indistinguishable from a brand new car engine; a five year old cellphone chipset is going to have half of the performance and a quarter of the performance per watt as a brand new cellphone.
I was kinda expecting a reference to https://blog.transitapp.com/how-we-built-the-worlds-pretties... but I didn't find any while skimming it, even though the content seems to be very similar
I prefer the Haskell version. One can read it as a full sentence instead of being interrupted by the boring imperative Python version that breaks the train of thought on every line.
That's awesome, I used your project dozens of times, it was always my first stop whenever I needed some funk for a project page. Thanks so much!
The project was a cloud agnostic platform-as-a-service for building healthcare applications. It needed graph-DBs, Postgres, all clouds, localisation, event-streams, UIs, etc. I won't list where the problems were, because I don't think it's helpful -- each project has its own needs, you may well be lucky where we were not. Certainly the project wasn't a standard enterprise app, it was much more complex, so we had some foundational things we needed that perhaps your average dev doesn't need. However, other ecosystems would usually have a decent off-the-shelf versions, because they're more mature/evolved.

You have to realise that none of the problems were insurmountable, I had a talented team who could overcome any of the issues, it just became like walking through treacle trying to get moving.

And yes, Servant was great, we used that also. Although we didn't get super far in testing its range.
I'm not sure what the connection to my statement above is, wrong comment your replied to?
Given that they can train their models on your Photoshop, Illustrator, After Effects and Premiere projects according to their ToC, this might not even be incorrect.
An implementation of an extended subset of Haskell. It uses combinators for the runtime execution:

https://github.com/augustss/MicroHs

https://www.youtube.com/watch?app=desktop&v=uMurx1a6Zck&t=36...
What value does it provide over linking to the original source?

Any website that constantly asks me to login is spammy in by book. It's a for profit website that adds little value other than duplicating information from primary sources and occasionally mangling pdfs with redundant information to advertise themselves.
The soft power that had many (most?) young Americans screaming at the government for banning Tiktok.

The soft power that catapulted Genshin Impact to the top of sales rankings across the entire world.[1]

The soft power that led to China's incomprehensibly deep and wide spider web of financial influence.[2]

The soft power that has us wearing Chinese blue jeans, to use Civilization lingo.

If the west thinks this is a problem (and it probably is, at least I think it is) then we need to respond. Being in denial won't address anything.

[1]: https://sensortower.com/blog/genshin-impact-three-billion-re...

[2]: https://en.wikipedia.org/wiki/Tencent#Foreign_studio_assets
You have a FOIA request??

Would love to help, too bad those logs disintegrated decades ago.

Good Luck!!!!
Looks very interesting , thanks for sharing
“In fact, Buddhism, which had flourished in Bharat for 1600 years, suddenly vanished almost completely as soon as Muslims became masters of Delhi and started raiding the plains of Ganga.” Citation needed?
Yeah, the different, incompatible assembly plugins is why I stopped using FreeCAD a few years ago.

That's reportedly been fixed (guess they picked a winner?), but I haven't taken a look since. I probably will, at some point, but I generally have a different focus these days.
They'd need to define what's social media and what's an appropriate limit and how it's displayed or enforced. That's going to be an interesting quagmire. Might be nothing but "parental advisory" stickers on webpages and apps. Might be a vaguely worded arbitrary law that's used whenever it's convenient. Might just be a clickbait headline.
Koka is indeed incredibly cool, but:

It sees sporadic bursts of activity, probably when an intern is working on it, and otherwise remains mostly dormant. There is no package manager that could facilitate ecosystem growth. There is no effort to market and popularize it.

I believe it is fated to remain a research language indefinitely.
This is a poor and lazy criticism of Haskell. It might be hard to reason about the memory usage and other operational behaviours of a Haskell program, but the ability to reason about semantics and correctness is far ahead of the mainstream. It actually supports equational reasoning. It has statically checked effect tracking, checked encapsulation of mutable state and much more. There is no all powerful pervasive "ambient monad" that lets code do absolutely anything.
Schools are putting vape detectors in bathrooms – paid for by Juul
GDPR Guru – Assess whether your actions violate GDPR using AI
I've often struggled with understanding whether a way to hold or process data is compliant with GDPR or not. It's quite opaque, yet crucial for any founder in Europe. This very simple app aims to give a quick answers to these questions and where possible point in the right direction to remain compliant as well.
I suspect it’s far lower than that.
They have no scruples about deploying bots which had surfaced (or still could) suicide instructions in its model.
Latest Xeoma release 24.9.2 was launched
I don't know about "recently", but things have certainly changed.

Even when there was information available in the past, it wasn't always easy to access or understand, and more critically, the willingness and pace of shared knowledge has increased tremendously.

If we look back, admittedly through the lens of nostalgia, at games like WoW:BC, then strategies took weeks or even months to bed in and disseminate from the top guilds to the wider public. RPGs, even in the gamefaqs era, took weeks or months to feel "solved".

Whereas now games are released and are often "solved" in beta before their official release. Game knowledge is spread so much faster now.

Even when we had early youtube back then, and we had IRC and gamefaqs, the knowledge just wasn't spread as fast. It's hard to know if that's just the sheer numbers of people involved now, or a greater willingness to share that knowledge.
Honorable mention in the same league: 'Wynnona's Big Brown Beaver' videoclip from Primus.
Depends on the paper.

Stone tablets, on the other hand, are rock solid.

(Pun intended)
Ask HN: Chrome extension new tab notes with Markdown and Vim?
I've used "papier". It opens a rich text editor in new tabs, but I was wondering if there is something similar with markdown and Vim suport
Observational study supports century-old theory that challenges the Big Bang
And the code: https://github.com/ad-freiburg/loom
>> I will personally never use Copilot, or any other AI code generation tool, for the simple reason that I enjoy writing code.

LLM code generators are a problem for those who write code for a living, not for pleasure. They may well eventually be forced to use such systems, whether they like it or not. When your paycheck is on the line, you will conform.

For those who both enjoy writing code and have to do it for a living, their everyday jobs may just get a lot more tedious and boring than they are right now.
I haven't yet felt the need for third party tooling in OCaml. OCaml has real abstractions, easily readable modules and one can keep the whole language in one's head.

Usually people do not use objects, and if they do, they don't create a tightly coupled object mess that can only be unraveled by an IDE.
So much of today's self-help (and a lot of therapy styles) seems to be focused on selfish, self-centered behavior.
Reminds me of this short-lived (and IIRC pretty goofy) TV series that nevertheless somehow indelibly implanted itself into my teenage computer nerd brain:

https://en.wikipedia.org/wiki/Automan

Lots of Pseudo-CGI there too (along with some rudimentary real CGI).
I'm pretty sure that Google itself will do it. So for example I've previously sideloaded Android Auto, because Google generously deemed it "unavailable" in my country, just like Apple Auto. And it worked fine for years, until Google integrated it in the OS and now the restriction is kinda moot, because OS is available in my region.

If in the future I would by some hardware from Google (under Google brand) for example (I would not of course, but let's pretend), like some smart appliance or similar, and for sure it won't be available again. I would not be able to bypass this bs now.
Suomi is a Finnish word for the Finnish language, for anyone curious.
I think this has to do with how a child's parents inform them about the addictive nature. I've been telling this to our children early on ("games = mostly engineered for addiction, be careful"), and the youngest (11yo soon) has no problem understanding this. And I'd say he manages to regulate his gaming hours surprisingly well all by himself.

What I particularly like is that children seem to be quite interested in what it actually is that makes games addictive. So a 10yo might reason along the lines of "Dude, gaming 2 hours straight must be worse for my brain than gaming 45 minutes straight. This game's got too many flashing things, too. Don't want to get addicted. Must go out".

So, from personal experience as a parent, I'd say we adults should not underestimate the influence of educating our children about the dangers of too much gaming. Apparently, quite a bit can be done with very simple means (talking!) to keep things healthier for them. Consistency is key, as always.
Where does it say that? Here is exactly the page I see: https://web.archive.org/web/20240912104240/https://docs.hetz...

> Plans (CCX) with dedicated vCPUs have their CPU resources exclusively. Here one vCPU equals one thread of a physical CPU core. Instances with dedicated vCPUs offer continuous and predictable high CPU performance. We recommend them for systems with high production loads and CPU intensive applications. They run on high-performance hardware and come with a generous allocation of I/O and network power.

Of course that implies there is some throttling. But I see nothing about a hard 20% cap.