skysight-inc/HackerNews huggingface dataset:
(2023)

I have pretty much the opposite experience.

I have been using Python for about 20 years. I had experience with multiple programming languages before that, and have learned others since.

Python is still my favourite actually-existing programming language, despite the many things I can nitpick in its design and the many disagreements I've had with other prominent Pythonistas. I still don't use type annotations except for documentation purposes and still don't see value in doing so. I'm rarely confused by functions in my own old code because I keep them too short to get confusing. I put only a few hundred lines in each source code file and still feel like I can accomplish quite a bit in that space.

Of the languages I'd consider using nowadays, Python is the only one where I feel like I can work on non-trivially sized projects without an IDE. Other languages are harder to read due to having more boilerplate, and manually finding the definition of a function or class in C++ can be quite an endeavour. Type annotations in others' Python code often make it harder for me to reason about the code, because they give complex type specifications in an awkward syntax and often rule out inputs that would work just fine (because they're needlessly specified in terms of concrete types rather than protocols or ABCs). I find names to be far better "free documentation" than types could ever be.

> After all the guessing game and refactoring, how do I ensure my changes work effectively? The only way to be sure is by running the code and verifying that every line is executed under all possible combinations.

> Years of coding in Go gave me this comfortable feeling: if it compiles, it works. (Rust takes it to the next level; if it compiles, you won’t have memory issues or data races.) The compilation gives quick feedback, which makes it very easy to make changes.

> Type hints solve these issues to some extent, but bugs can still slip through.

Even "real" (static, manifest) types don't actually solve this problem, and compilation is quite slow in some languages.
> The exercise here is to auto-identify-and-refactor idioms open-coded in one language, into idioms suited for the other language's already-written standard library.

That's what LLMs are for - idiom translation. You can't trust them to do it right, though.

[Pan et al . 2024] find that while GPT-4 generates code that is more idiomatic than C2Rust, only 61% of it is correct (i.e., compiles and produces the expected result), compared to 95% for C2Rust.

This problem needs both AI-type methods to help with the idioms and formal methods to insure that the guessed idioms correctly capture the semantics.

A big advance in this project is that they can usually translate C pointer arithmetic into Rust slices. That's progress on of one of the hardest parts of the problem. C2Rust did not do that. That system just generates unsafe raw pointer arithmetic, yielding ugly Rust code that replicates C pointer semantics using function calls.

DARPA is funding research in this area under the TRACTOR program. Program awards in April 2025, so this is just getting started. It's encouraging to see so much progress already. This looks do-able.
We just built the fastest appointment booking app in the world
Hey guys ,
Very awesome to write my first post on here.
So I just launched my first Saas product. I recently became an indie hacker with a focus on building actual startup/product that solves real problem.
That was when I launched swiftbooked.com, an appointment booking app for hair salon, barbershop, nail tech and spa.
I know, there are a ton of products already in the market, but you’ll be surprise, the amount of opportunity where I am (South Africa), also we built the platform to be the fastest and most seamless booking software ever.

So with that, I’d appreciate a super roast and honest feedback on our landing page copy and also, how viable would the product be where you are .
Thanks guys and I hope I look forward to contributing and giving back to the community.
It's easy to implement doubly linked lists in safe Rust. Just ensure that every element has one OWNER, to avoid «use after free» bugs, or use a garbage collector, like a reference counter.

Unlike C++ or Rust, C has no references, only pointers, so developer must release memory manually at some arbitrary point. This is the problem and source of bugs.
I understand how much people are emotionally reactive to these part of the net, and the cultural hatred some can have for "unproductive" time (does it match what you call "time sinks"?)

I still don't think they stand on the same foot as vodka.
People are already talking about doing this. Some people (e/acc types esp.) are at least rhetorically ok with AI replacing humanity.
You can probably get same day delivery on drugs, too.
Oh right, I forgot that BF16 allocates the same number of sign and exponent bits as F32, so we can convert from BF16 to F32 by just padding zeros to the fraction bits. I'd guess conversion in the opposite direction would require rounding rather than truncation if we want to preserve as much intelligence as possible, so something like (https://hhhhhojeihsu.github.io/tensorflow_1.8_woboq/tensorfl...).

In any case, a constraint of my exercise was to compare a hand-written inference implementation to existing inference engines (calm/llama.cpp) which both use FP16 for weight and KV cache quantization by default rather than BF16, so a BF16 backend will be an interesting addition but not so relevant to the blog post.

Yes, we can totally use cuBLAS, and it's likely what I'd go with in a production implementation for any kernels which I wasn't planning on fusing, but as mentioned in the post, defeats the point of the exercise and usually less fun than doing things from scratch. That said, I do plan on exploring for myself at some point what kind of gain I could get from switching existing hand-rolled ops to cuBLAS/cuDNN (and then trying to match that).

Thanks for linking your prefill code with GEMMs! Actually, your code looks pretty readable and well-annotated. It'll be cool digging in as your CPU backend seems better developed than mine. Cool observation about how using batched-GEMM instead of GEMV speeds things up in the single-batch forward() function. I am curious about your intuition behind the reduction in memory bandwidth ("if multiple cores read the same locations in xb..."). Is this about how xb might be kept in the L3 cache which is shared between cores in Zen 3? I wonder if you could validate this idea by adapting your handwritten matmul() function to operate on 2 matrices and outputs at the same time.
Yes, you can get a round of dialysis. Patients with end-stage renal disease qualify for Medicare which covers most of the cost.
Related. Others?

What NASA's Parker Solar Probe discovered in its first 5 years looping the sun - https://news.ycombinator.com/item?id=37128838 - Aug 2023 (1 comment)

A NASA probe has touched plasma and gas that belongs to the sun - https://news.ycombinator.com/item?id=29965805 - Jan 2022 (31 comments)

NASA’s Parker Solar Probe Is Unlocking the Sun’s Mysteries - https://news.ycombinator.com/item?id=21709598 - Dec 2019 (2 comments)

Traveling to the Sun: Why Won’t Parker Solar Probe Melt? - https://news.ycombinator.com/item?id=17743599 - Aug 2018 (121 comments)

Traveling to the Sun: Why Won't Parker Solar Probe Melt? - https://news.ycombinator.com/item?id=17569741 - July 2018 (86 comments)
Can confirm, Gen Alpha is all about Snapchat, and their DAUs bear this out:

https://www.statista.com/statistics/545967/snapchat-app-dau/
If you bet the farm on hardware but the software ecosystem isn't there yet, then you sell no hardware and sink the company.

Software ecosystem either takes lots of time (see ARM) or you need to be in a position to force it (Apple & M chips).

RISC-V is still a long way off from consumer (or server) prime time
But it's changing over time, and students always lied.

But it's possible that this generation is wiser/ more cynical and doesn't believe in anonymous surveys.

I know I don't.
Got 8 days through AoC before giving up/leaving for the holidays

Finished a presentation on bash tools. Surprisingly, many devs seem to be allergic to using the shell as a default, instead preferring to thrash about in some sub-standard GUI that runs inside an Electron app. Trying to convince everyone to return to their roots

Finishing up a small business grant application that my co-founder and I have been working on for a couple months now. That's the big accomplishment I'd say
>When my ex-wife was looking to upgrade her Windows laptop a few years back, she ended up in analysis paralysis because the options just from HP were so complicated that she couldn’t figure out what she should buy.

It's like cars where they bundle one feature you want with a bunch of stuff you don't care about to force you into overspending.
Maybe so, but please don't post unsubstantive comments to Hacker News.

Edit: it looks like you've been doing this a lot lately. Can you please not? We're trying for something more interesting here.
RISC-V is rapidly growing the strongest ecosystem.

The new (but tier1 like x86-64) Debian port is doing alright[0]. It'll soon pass ppc64 and close up to arm64.

0. https://buildd.debian.org/stats/graph-week-big.png
Social media, for example.
It is a necessary but not sufficient condition to AGI.
I'm sorry, but you're missing the spirit of this. It's a post about the spirit of Chuck Norris as represented as a concept on the Internet rather than the actual person. Yes, the person may be reprehensible, however that is not what's being addressed here, rather it's the idea of the concept of Chuck Norris.

And that's the whole spirit of this post in the first place. There is a certain sort of beauty to being so forgiving. The fact that HTML rendering can deal with this level of inanity is frankly an awesome aspect of the web that has enabled loads of creativity by non-programmer types (speaking as a programmer here). I think sometimes we need to pull our heads out of our collective asses and allow for this sort of thing to permit beautiful things to happen.
Of course the opposite holds. I'll even speculate that it will probably continue to hold for the foreseeable future.

It's not going to hold forever though. I'm certain about that. Hopefully it will keep holding until I die. The world is dystopian enough already.
Would you mind expanding on this?

It sounds interesting, but I'm not tuned into either community enough to know what parallels you see.
i am confused cause this dataset is visual-based, and yet being used to measure 'LLM'. I feel like the visual nature of it was really the biggest hurdle to solving it.
That is basically how Fuchsia handles it
https://fuchsia.dev/fuchsia-src/reference/kernel_objects/pro...
I don’t think this reflects the reality of the power industry. Data centers are the only significant growth in actual generated power in decades and hyperscalers are already looking at very bespoke solutions.

The heavy commodification of networking and compute brought about by the internet and cloud aligned with tech company interests in delivering services or content to consumers. There does not seem to be an emerging consensus that data center operators also need to provide consumer power.
Why Disney Stopped Subscriptions on the App Store
I not only understand, but whole-heartedly agree with, the whole if-it-aint-broke-don't-fix-it mentality, but those keyboard are atrocious.
That person didn't die. They are a zombie now.
It’s possible to have infinite sex without influencing the population quantity. Well, you could decrease it.
> ELO narrows heavily at the top

What do you mean by this? I'm assuming you're not speaking about simple absolute differences in value - there have been top players rated over 100 points higher than the average of the rest of the top ten.
Wtf is wrong with you dude? It's just another tech, some jobs will get worse some jobs will get better. Happens every couple of decades. Stop freaking out.
> You can't run Linux-specific software

Except the whole driver, storage, security and network stack, which people spend whole careers working on. Look if the kernel doesn't interest you, that's fine. But it's (by far) the biggest component of the system and to some of us it's kinda notable that it's taken over the world. You can semantically define us out of existence but it doesn't make the software go away. You're just not paying attention to it.
Spotify has been automatically generating 6 different “daily mix” podcasts for me, which cover different styles/moods.
This reminds me of a character in Cyberpunk 2077 (which overall i find to have a rather naive outlook on the whole "cyberpunk" thing but i attribute it to being based on a tabletop RPG from the 80s) who is an AGI that has its own business of a fleet of self-driving Taxis. It is supposedly illegal (in-universe) but it remains in business by a combination of staying (relatively) low profile, providing high quality service to VIPs and paying bribes :-P.
Typically portable apps place their data in the folder where the executable file is located, not the current dir.
Scrum standup, not comedy...
Raw multi-line R"()" strings in C++ reduce some of the tedium. I wrote myself an Emacs tree sitter pattern to highlight asm syntax nicer than a string normally would, which helps. There is also the stasm library (which I haven't used) that looks like a pleasant syntax. https://github.com/stasinek/stasm

Clang (but not GCC) also supports the MSVC assembly syntax which is derived from Borland inline assembly. Unlike MSVC, Clang supports it in 64-bit mode and also for arm.
Reimagining OSS Licensing and Commercialization with Fair Source [video]
KubeCon 2024 talk, talks about difference between source code license and distribution license. From description:

Join Adam Jacobs, founder of System Initiative, as he explores an innovative approach to open source software (OSS) licensing and monetization. This session will dive into:

The limitations of traditional OSS licensing models

Introduction to Fair Source licensing and its principles

Balancing open collaboration with sustainable commercialization

Potential impacts on developer communities and business models

Real-world applications and case studies of Fair Source in action

Learn how Fair Source licensing aims to create a middle ground between fully open and proprietary software, potentially reshaping the OSS landscape. This presentation is essential for developers, project maintainers, business leaders, and anyone interested in the future of open source sustainability.
Post scarcity seems very unlikely. Humans might be worthless, but there will still be a finite number of AIs, compute, space, resources.
While practically that’s true of course, I think a hardware appliance that did this that you had to physically interact with to release the funds from would be cyberpunk and cool. Imagine exchanging a handful of currency chips for like a flying motorcycle or something.
not sure why you're downvoted, the point is quite valid. I worked on both sides. They may seem similar from afar over the big picture but largely distinct in details and thereafter scaling tricks.

Trading on both buy and sell sides are highly structured data, and post trade requires high level of interpolation among data entities.

Payment processing data unit are somewhat unstructured / document based (payer/customer details, payment intent, plans, gateway infos..), but each payment object are quite isolated from each other. Post payment there are some interpolation if system is dealing with payouts account ledgers, but far from level of trading risk management (particularly derivatives).
We're all AI companies now!
NOLA is a unique market for sure but I’m told it’s had a difficult run. Weak demand across the middle market could mean a lot of things. I am not sure on the proposed correlation between lower income strain, my better guess is that it comes down to desirability of school district(s). Low “workforce” demand indicating bad public school options, only the rich sending to private schools and the poor taking what they can get.
Time to become the CEO then
How is this different from Jellyfin?
As saagarjha mentions, vectorization of loads and stores is important for memory bandwidth and can be done automatically after unrolling a loop. Another important compiler optimization which requires and is applied after loop unrolling is pre-fetching: that is, for a loop whose iterations are independent and each perform loads and then some computation depending on the loaded value, we can re-arrange the loads to be grouped before the computations. The thread can use ILP to continue issuing loads while previous ones are still in-flight as long as it still has registers to store the results. Without unrolling, the computations are stalled waiting for the load instructions to return data, while with unrolling, we are able to overlap loads and make much better use of memory bandwidth.

I describe a situation in my blog post where automatic unrolling and pre-fetching was no longer being applied after changing a kernel to use FP16, and how I re-applied the optimizations manually to regain performance: https://andrewkchan.dev/posts/yalm.html#section-3.5

Here's an NVIDIA blog post which discusses pre-fetching and unrolling more generally: https://developer.nvidia.com/blog/boosting-application-perfo...
Most of the time I've used inline assembly it's because the compiler was optimizing something badly. I don't want it to rearrange anything.

(Scheduling is almost useless on modern desktop CPUs anyway, except for some instruction fusion patterns.)
Or if you prefer leagues, at that speed it would still take 9 minutes to reach the depth in Jules Verne's book.
With rust having recently entered the Linux kernel, Windows 11, qemu among others where Haskell never took a hold, I really fail to see where you feel the wind is blowing.

The thing is, rust is used today in more and more places because it's reliable. We're not going to switch out the ground we are standing on every time something shiny comes along and that's why this is such an interesting development.
Show HN:Free Online Tool to Experience Microsoft's MarkItdown
Hi HN,

I wanted to share a free online tool I created to let everyone easily test Microsoft's new open-source project, MarkItdown. It enables rapid conversion of different file formats and web pages into clean Markdown text. It's surprisingly fast and versatile.

Give it a try here: https://markitdown.pro/

Any thoughts or suggestions are welcome!
Yeah, it may feel scary but the biggest issue yet to be overcome is that to replace engineers you need reliable long horizon problem solving skills. And crucially, you need to not be easily fooled by the progress or setbacks of a project.

These benchmark accomplishments are awesome and impressive, but you shouldn't operate on the assumption that this will emerge as an engineer because it performs well on benchmarks.

Engineering is a discipline that requires understanding tools, solutions and every project requires tiny innovations. This will make you more valuable, rather than less. Especially if you develop a deep understanding of the discipline and don't overly rely on LLMs to answer your own benchmark questions from your degree.
I wouldn't say it's useful in chemistry. Chemistry at any basic level is deeply concerned with the shape of the probability fields of electrons around a nucleus since it's the dominant contribute to the shape of molecules and strength of bonding.

EDIT: Like ironically I would say the planetary model has 1 unique utility, which is that for hydrogen-NMR it's useful to just assume that 1 electron is producing a little magnetic field like a Bohr model atom.
It’s pretty clear that Mullenweg is having a mental health crisis, not a hissy fit.

Let’s not take pleasure in someone destroying their life because they don’t have the support they need.
My plan is just to use my EV with generator interconnect to house with V2L. No color or gas needed. Ioniq can run house for like 5 days.
Energy Cheat Sheet: Building an intuition about energy
After reading it, Google gave me a pop survey about how I felt about G after reading it. It was like some bizarre A/B testing.

I said Worse because the blog completely rejected the court’s findings and offered up some bread crumbs to the peasants.
Don't be put off by the reported high-cost

Make it possible->Make it fast->Make it Cheap

the eternal cycle of software.

Make no mistake - we are on the verge of the next era of change.
technical debt is product leverage
> This guy is wrong, which is why he isn't citing any legal authority.

You never asked.

https://wetten.overheid.nl/BWBR0005291/2024-05-01 article 83 onward

> As anyone who has gone to law school will tell you

Sounds like you wasted $300 000 just to be wrong :)

> But generally, OP is wrong: if you buy a stolen bike at a flea market, you don't get title and the owner can get the bike back.

I said bike fair, not flea market.

I will reiterate: the sale needs to have been in good faith. All the conditions for that need to have been met.
While this is devastating, the lesson that we should all remember:

Never, ever, no matter the circumstances, store private keys (or seed phrases) on photos. Especially if those photos are synchronized to the cloud.

Hand-write them, store them in a safe and secure PHYSICAL location.

Of course we're humans, we make mistakes, and we usually start with small amounts of money that we can lose where it would be unnecessary to take all these precautions, but we still need to regularly remind ourselves to avoid disasters like this in the self-custody world.
This is insane. I am noob in webgpu but how close we are to shipping a full fledged games that users can play on a browser?
I love finance because they take what is basically logs and name it the LMAX disruptor and rather than defining it, link to a martin fowler blogpost which seems to have a unique domain name for the post

and all the technical sophistication is getting around the fact that java was a piece of garbage in like 2008
Exactly. In 2014 I really thought we'd have flying cars, exploring space and world peace by 2024. Instead everything looks the same, regressed even in some areas and all-around alot more cynical
Like a cocaine fueled orgy!
What do you do though if you want to import code written in C++? Especially complex, dependency-heavy like CUDA/ML stuff?

You can just give up and say that "The proper way to do this is to use the Nvidia CUDA toolkit to write your cuda app in C++ and then invoke it as a separate process from node" [0]. That apparently works for node, but Python wants much more.

If you actually want to use high-performance native code in your slow compiled language, then no solution is going to be very good, that's because the problem is inherently hard.

You can rely on host OS as much as possible - if OS is known, provide binaries; if it's unknown, provide source code and hope user has C/C++/Rust/Fortran compilers to build it. That's what uv, pip, etc.. do.

You can create your own parallel OS, bringing your own copy of every math libray, as well as CUDA even if there are perfectly good versions installed on the system - that's what conda/minconda does.

You can implement as much as possible in your own language, so there is much less need to use "high-performance native language" - that's what Rust and Go do. Sadly, that's not an option for Python.

[0] https://stackoverflow.com/questions/20875456/how-can-i-use-c...
...something happened. Growing up, I had cats that ate squirrels. Then, sometime around the early 2000s, I had cats that were being chased by squirrels.