skysight-inc/HackerNews huggingface dataset:
I actually don't know too much about what power traders do in the various EU nations. The majority of our plants tend to shut down production once the grid is too full since that is what many countries require. Hopefully we'll see storage get to a point where we can keep the power for later, but that's not where we're at right now. A solar panel and it's inverter and datalogger don't work without software though, and it can be quite fun to work with that tech. At least in my opinion.
Why would they engage with you? If they are safe, there's zero need for them to give you the time of day. How do you propose moderating someone who can tell you to fuck off with impunity?
The official Linux kernel driver for Blackwell is GPL/MIT licensed: https://developer.nvidia.com/blog/nvidia-transitions-fully-t...
Have you tried using Ollama? You can download and run an LLM locally on your machine.

You can also pick the right model for the right need and it's free.
C++ could do generic programming long before Zig even was an idea, but writing generic code in Zig is still much more straightforward - also Zig is usable now, while C++26 features will probably land in real world C++ compilers around 2036 ;)
I have written a small fullstack app over the holidays, mostly with LLMs, to see how far would they get me. Turns out, they can easily write 90% of the code, but you still need to review everything, make the main architectural decisions and debug stuff when AI cant solve the bug after 2-3 iterations. I get a huge productivity boost and at the same time am not afraid that they will replace me. At least not yet.

Can't recommend aider enough. I've tried many different coding tools, but they all seem like a leaky abstraction over LLMs medium of sequential text generation. Aider, on the other hand, leans into it in the best possible way.
Interesting, I had the exact same image in my mind :D
You are only a modern bikepacker if you ditch your traditional bags for what us Germans call "Arschrakete" (butt rocket): https://heuer-radsport.de/wp-content/uploads/asgarosforum/8/...

/s
Then there are languages like lisp. If you ask anyone in the community who's drank the s-expression koolaid, they'll say "your editor will take care of it bro, 12 closing parenthesis are totally fine". But every once in a while you're stuck in an environment with barebone vim, you mess up some editing, the language provides completely unhelpful error messages, and you're stuck debugging a bloody syntax error for 30 minutes.

The command line interface of a language should be really good and one should be able to program without any fancy tooling. The compiler shouldn't offload any responsibility to the editor/lsp.
Original paper https://www.pnas.org/doi/abs/10.1073/pnas.2419630121

-----

Note this isn't mainly about lead pipes:

"most significant... may have been through background air pollution from mining and smelting of silver and lead ores "
I'm on PC (firefox) and can reproduce it, no capital letters in my input
After having written a somewhat complete C parser library I don't really get the big deal about needing meta programming in the language itself.
If I want to generate structs, serialization, properties, instrumentation, etc, I just write a regular C program that processes some source files and output source files and run that first in by build script.

How do you people debug and test these meta programs?
Mine are just regular C programs that uses the exact same debuggers and tools as anything else.
In the end, generics, comptime and code generation are just different steps on the 'stamping out specialized code and data' ladder though (e.g. all three are useful).
You throw headless browsers into your CI/CD pipeline and try not to think about how many resources you're burning.
I'd be really helpful if you added some faded square outlines in the background. I think maybe I made an illegal move with a bishop because of misreading the diagonal.
Worse, because of that bad decision they don't have any endpoints to sell AI and XBox services.

When Windows Phone was killed it had about 10% market share in Europe, it was slowly becoming the device that people that didn't like Android, and lacked the funds for an iPhone.

Turns out 10% is better than 0%, but they decided otherwise, and selling Microsoft Android was always hard to swallow.
The video lecturer might just as well ask some question and unlike the theater of the real one, get a response from every single viewer instead of getting a "gauge". And I don't know what mythical school most students spend the few minutes break getting huge value "discussing and refining" (which, by the way, could also be arranged with an alternative)
Koa – Next generation web framework for Node.js
That’s not what I’m saying. I’m saying that the people buying this aren’t going to shift their bottom line in any kind of noticeable way. They’re already sold out of their money makers. This is just an entrenchment opportunity.
There's a bug somewhere it seems like, as it ends the following game with "Illegal move, you lose", even though it's not an illegal move:

1. e2e4, e7e5
2. d2d4, e5d4
3. d1d4, a7a5
4. g1f3, b7b5
5. b1c3, a5a4
6. c3b5, a4a3
7. b5a3, a8a3
8. b2a3 -->
Illegal Move
You Lose.
Game over.

FEN of game above:
1nbqkbnr/2pp1ppp/8/8/3QP3/P4N2/P1P2PPP/R1B1KB1R b KQk - 0 8
I read that as "Property-Based Testing of People"
It's nice that you can speed up the game by just reducing the viewport to an absolute minimum and have the DVD bouncers do all the work.
Stay Gold, America
100% this is what I do in python too!
That shouldn't be really surprising, as all divisibility rules are necessarily regular because anything more complex wouldn't be human-executable "rules".
Submitted first in 2013 (281 points, 121 comments) https://news.ycombinator.com/item?id=6933358
I think he implied AI generated porn. Perhaps also other kind of images that are at odds with morality and/or the law. I'm not sure but probably Samsung phones don't let you do that.
Thank you so much! I will look into ShowHN.

nikeedev
Funny, he starts of dismissing an AI IDE to end with building an AI IDE :D (Smells a little bit like not invented here syndrom) Otherwise fascinating article!
Especially considering that even the unreliable narrator himself admits he was one of the first ones to be fired - why would you fire the best employee first if it wasn’t for cause?
I've been researching Rust and it seems to be mainly used in embedded systems.

Have you made the funding rounds? A Rust based system which runs on Sidewalk and
manages power use in households seems really needed. A few years ago a product which more accurately manages dryer time (and therefore saves homeowners money and energy) was shut down to the general gnashing of teeth. TBH, I wanted to revive it myself almost immediately, but I don't have any bonafides and I had a ton of other things on my plate to try and fix.

As far as I know, it hasn't been revived yet. I'm sure that other use cases will appear. The energy one is foremost because we are facing a huge energy deficit over the next few years (5-10). Homeowners will have to start producing some, if not all, of their own power as private companies take over the grid. They are making deals already and getting sued for them. The estimates are that we need ~$2t to do upgrades;but I believe it is more like 2.5x times that and it doesn't seem to have trickled down yet.

Soon enough Amazon Power Systems, Meta Power and GPower will be controlling whether or not you can have ac during peak hours or if you can keep the lights on....and certain businesses will be prioritized over the masses for sure. If you are as well known for Rust as I suspect...you should have minimal problems raising a few million to take this on. Looking for a regular person job..is pointless at your stage in life because most places won't hire you. You are too well known and they would consider you vastly overqualified. So instead of heading downstream, head up.

Purdue has invented new charging cables which will speed up ev charging time, but I am curious as to whether or not the same tech will work over longer distances and could then be used for residential systems. If so, then a monitoring system which is more stable and accurate, while being easy to maintain sounds like a perfect fit.

Good Luck

If you want the info about the company that closed, my email addy is in the box
From the people I talk to the enthusiast market is nvidia 4090/3090 saturated because people want to do their fine tunes also porn on their off time. The Venn diagram of users who post about diffusion models and llms running at home is pretty much a circle.
I think most of those points one only stumbles over after a few thousand lines of Zig and going really deep into the comptime features.

And some features in your list are of questionable value IMHO (e.g. the "reasoning over a function type signature" - Rust could be a much more ergonomic language if the compiler wouldn't have to rely on function signatures alone but instead could peek into called function bodies).

There are definitely some tradeoffs in Zig's comptime system, but I think the more important point is that nothing about it is surprising when working with it, it's only when coming from languages like Rust or C++ where Zig's comptime, generics and reflection might look 'weird'.
What's the realistic attack scenario? Will Sam Altman steal your company's code? Or will next version of GPT learn on your secret sauce algorithms and then your competitors will get them when they generate code for their tasks and your company loses its competitive advantage?

I'm actually sure that there are companies for which these scenarios are very real. But I don't think there's a lot of them. Most of the code our industry works on has very little value outside of context of particular product and company.
Ask HN: I forgot my work laptops's creds. Should I be worried about my health?
Hi.

Last week, after getting back from vacation, I wanted to check something from my work laptop. To my disbelief and horror, I could not remember the password, and eventually logged myself out of the MacBook. It has fingerprint activated, so I do not enter password for every unlock.

Now, my question is not about how to reset the password on MacOS. It's about Alzheimers/Dementia. I am almost 38 years old, an IT practitioner like most of the people here, and used to be "famous" for my (mostly long-term) memory. I vaguely remember (ironically :D) that this password forgetting also happened some months ago, although I eventually figured it out that time. Should I take these as signs of what is coming for me? Or they are fairly recurring among my peers? Do you experience these stuff?

And if this is indeed it, is there anything I can do to change/delay the eventual fate? Any practice, etc? I have been learning languages continuously and I thought that would work. Not sure anymore.

If I want to have a medical checkup, what kind of specialist do I have to refer to?

Many thanks
Well, compared to the first wave of 68000 machines, which were generally high end workstations from the likes of Sun and Apollo, a $2500 Macintosh is cheap. Apples belief in this whole “profit margin” thing did mean it couldn’t compete on price with the Amiga and ST though…
I wouldn't call it nothing.

Current regulation requires water supply at the tap to measure <10 µg/L, changing to <5 µg/L next decade.

2-3 µg/L is significant.
Blog post title: Stay Gold, America

URL should be (current one only works until a new post): https://blog.codinghorror.com/stay-gold-america/

> Otherwise please use the original title, unless it is misleading or linkbait; don't editorialize.

https://news.ycombinator.com/newsguidelines.html
It's GB200 in desktop compatible enclosure, the RAM is fixed, the SSDs are not, the network ports are fixed too.
Interesting points.

> Implementing generics in this way breaks parametricity. Simply put, parametricity means being
able to reason about functions just from their type signature. You can't do this when the function can do arbitrary computation based on the concrete type a generic type is instantiated with.

Do you mean reasoning about a function in the sense of just understanding what a functions does (or can do), i.e. in the view of the practical programmer, or reasoning about the function in a typed theoretical system (e.g. typed lambda calculus or maybe even more exotic)? Or maybe a bit of both? There is certainly a concern from the theoretical viewpoint but how important is that for a practical programming language?

For example, I believe C++ template programming also breaks "parametricity" by supporting template specialisation. While there are many mundane issues with C++ templates, breaking parametricity is not a very big deal in practice. In contrast, it enables optimisations that are not otherwise possible (for templates). Consider for example std::vector<bool>: implementations can be made that actually store a single bit per vector element (instead of how a bool normally is represented using an int or char). Maybe this is even required by the standard, I don't recall. My point is that in makes sense for C++ to allow this, I think.
Automatically runs linter and tests on every edit and forwards failures back to LLM as well.
I don't know if I would call Flint's water just "slightly" acidic. It was acidic enough for the Flint hospital to complain about their stainless steel sinks rusting, for local automotive plants to dig their own wells because it was destroying parts they were washing, and turned their entire water supply system into swiss cheese that had to be replaced. It might be slightly acidic compared to highly concentrated acids, but in terms of potable water it seems extremely corrosive.
I don't know about zig bit the power of lisp is that youre manipulating the s-expressions or to put it another way, you're manipulating the ast. To do that in C you'd need to write a full C parser for your C program that processes source files.
GPUs have been processing “tensors” for decades. What they added that is new is explicit “tensor” instructions.

A tensor operation is a generalization of a matrix operation to include higher order dimensions. Tensors as used in transformers do not use any of those higher order dimensions. They are just simple matrix operations (either GEMV or GEMM, although GEMV can be done by GEMM). Similarly, vectors are matrices, which are tensors. We can take this a step further by saying scalars are vectors, which are matrices, which are tensors. A scalar is just a length 1 vector, which is a 1x1 matrix, which is a tensor with all dimensions set to 1.

As for the “tensor” instructions, they compute tiles for GEMM if I recall my read of them correctly. They are just doing matrix multiplications, which GPUs have done for decades. The main differences are that you do not need need to write code to process the GEMM tile anymore as doing that is a higher level operation and this applies only to certain types introduced for AI while the hardware designers expect code using FP32 or FP64 to process the GEMM tile the old way.
Welcome to tomorrow's "personal" computer, a single unmodifiable SoC with closed source software stack.
> Which is better, the Dell Pro or the Dell Pro Max?

Neither. The precision lines are workstations addressed at a very different audience. So for the average customer the "better" ranking is non-pro, then pro and only in exceptional cases pro max. The actual differentiator is the blank, plus, premium afterwards.

Bonus questions: which models have ECC ram and quadro cards available? Which ones have the best displays? My guess would be pro max premium and non-pro premium, but that is far from obvious.
> I don't want to bring politics into this, but I find the hype behind HTMX eerily similar to the populist vibes I get reading what their voters write.

Funnily I get quite irrationally conservative vibes the other way around. People clinging to their tools. All this complexity I learned must have been for a reason! We are building webapps for a reason (and that reason is valid for absolutely everybody and their use case)! "You youngsters do not remember the bad old days when everything was made of spaghetti, never again!"

Fortunately this is not a struggle for democracy but only a quibble in web development.

Your abstractions live either in the frontend or in the backend. For most cases, either will be quite fine.
You missed all the cursor movements (whether by mouse/keyboard) needed for the plain text editor:

1. Position cursor before the call from wherever it is right now (might be quick because your editor already allows some form of structure in it's movement commands: words, parentheses, visual jumps, etc or you might need 10+ presses of the left arrow)
2. Type "(if flag "
3. Position cursor after the call - maybe just a press of "End"/$/shift-A/...
4. Type ")"

Your two ways of structural editing seems to be an artifact of Lisp - I agree that most programming languages have issues when editing structurally - especially when using an abstract/concrete Syntax tree as the structure as compared to a non-syntactic representation (e.g. expression graphs where only types need to match).

So when this weird difference does not exist, you can always use the second strategy you listed. This already includes necessary cursor movements/selections and is one step shorter than the commands necessary for textual editing.

I think that any editor will always have to deal with partial programs - it's just the holes/errors are in different parts. The right UX can make dealing with that possible, just as auto formatting, syntax highlighting, inline type display, etc help somewhat deal with parts already in existing editing systems.

I think there's plenty of ways to make the UX work - for a programming language and ecosystem designed for it. So I think that structural programming should be a complete environment - programming language, editor with a good editing meta-language mapped to keys/auto complete/etc, language server equivalent, structural version control, build system, code sharing/review (diffs!) and legacy interface to textual tools. There'll be a tipping point where one has enough benefits from the structure in each of these to overcome the unavailability of many existing tools like grep/etc. A single structural editor experiment likely isn't at that tipping point unless the UX is really a significant improvement like github.com/cursorless-dev/cursorless is for many folks.
Yes, for better or for worse, I think the ethos of Go is pretty much "a mulligan on C". Every C project re-implements a bespoke hash table, struggles with Unicode strings, spends a lot of time on memory management, gets tripped up on dynamic linking, and so on. If otherwise like C but are tired of those things, guess which language is perfect for you?
Simply using a2a4 as the first move does that too.
Neither does the x.com link if you connect via well-known VPNs.
End-to-End API Testing with Arazzo, TypeScript, and Deno
The current market being a monopoly where your next best choice are HPC cards, again by nvidia?
$2000 gives ludicrous profit margins and the mid and especially low end 5000 series will suffer. Hopefully AMD eats them up in the non-compute market.
Except if we disregard the tiny market share Apple enjoyed across the globe in those days.
Is the movie different enough? I didn't even watch it, because I hated the book so much.
Doesn't it always. (Except sometimes on some hw you can't turn it off)
Humans are able to check whether a string of parens, like ()(()()), is matched but finite state machines can't.

In any case, if you know how the regex is constructed, it's not surprising. But I found it fun to actually do the construction, instead of just being theoretically aware of the possibility.
Let's not refer to Canada as a state for the next 4 years
smartphones
That is what script kiddies do when using compiled languages.

Rust has had an almost usable implementation for affine types, and being the second coming of Ada, to win the hearths of the industry, including all major OS vendors and hyperscallers.

Go got lucky with Docker and Kubernetes rewrites, and their adoption across the industry.

So far Zig is basically Modula-2 with C like syntax, and compile time execution, relies on the same tooling that C and C++ have had for decades for use-after-free, doesn't support a binary libraries ecosystem by design, and really Bun isn't going to be the killer project that triggers a Rewrite in Zig movement.

It remains to be seen if Zig 1.0 happens, and how its adoption story at scale will be like.
Well, you hand your employees that very sheet of paper that the protagonist found unsigned in their drawer. And trade secrets are a fairly widespread concept, too. So judges wouldn't have a hard time believing that a reasonable person would recognise trade secrets in most cases.
I'm genuinely curious but what did you use StackOverflow for before? With a couple of decades in the industry I can't remember when the last time I "Google programmed" anything was. I always go directly to the documentation for whatever it is I'm working for, because where else would I find out how it actually works? It's not like I haven't "Google programmed" when I was younger, but it's just such a slow process based on trusting strangers on the internet that it never really made much sense once I started knowing what I was doing. I sort of view LLM's in a similar manner. Why would you go to them rather than the actual documentation? I realize this might sound arrogant or rude, and I really hope you believe me when I say that I don't mean it like this. The reason I'm curious is because we're really struggling getting junior developers to not look, everywhere, but the documentation first. Which means they often actually don't know how what they build works. Which can be an issue when they load every object of a list into memory isntead of using a generator...

As far as using LLMs in anger I would really advice anyone to use them. GitHub copilot hasn't been very useful for me personally, but I get a lot of value out of running my thought process by a LLM. I think better when I "think out loud" and that is obviously challenging when everyone is busy. Running my ideas by an LLM helps me process them in a similar (if not better) fashion, often it won't even really matter what the LLM conjures up because simply describing what I want to do often gives me new ideas, like "thinking out loud".

As far as coding goes. I find it extremely useful to have LLMs write cli scripts to auto-generate code. The code the LLM will produce is going to be absolute shite, but that doesn't matter if the output is perfectly fine. It's reduced my personal reliance on third party tools by quite a lot. Because why would I need a code generator for something (and in that process trust a bunch of 3rd party libraries) when I can have a LLM write a similar tool in half an hour?
The Matrix Profile
Absolutely. Reminded me of all the effort GTA spent on radio, to much fanfare.

The entire production value is fantastic. Glad to see Neal expanding. This is only a half step away from something less jokey, and more marketable.

If that's the path he chooses, of course. But judging by his smiling face in the center of it all wearing a poor fitting crown, I think he's just in it for the lulz. And I may respect that even more.
They got nothing on Microsoft.

The complacency of regulators is staggering.
> Also new version can place the trampoline on the heap (-ftrampline-impl=heap) and then you also need no executable stack. I wide pointer would be better though.

Wouldn't you need an executable heap, though?

(That's not as outlandish, because eg a JIT would need that to. But most straightforward C programs don't need to create any executable memory contents at runtime.)
SELinux is a dx/ux hostile nightmare that we definitely shouldn't be springing on everybody.
You seem to have missed the third paragraph of the article.
MSN Messenger had addicting bubbles way before
Being a dev at a large company is usually the sign that you're not very good though. And anyone can start a company with the right connections.