skysight-inc/HackerNews huggingface dataset:
> If we specified formally and super rigorously that a pointer is an integer and that memory is an array of bytes, we could have a UB-free language

That's PVI (Provenance Via Integers) and it's a performance disaster. If anything in memory might be pointed to, almost all the nice modern optimisations aren't correct. It is really popular with a certain kind of "Portable assembler" programmer, who typically has no idea how the machine actually works, nor how their language is defined but is very confident the nonsense they're writing ought to do what they wanted it to do.

So, the "bad" news is that you can't have this, your compiler vendor won't make it, and the "good" news is that you'd have hated it anyway which is why they won't make it.
> So you bought an iPhone knowing you can’t download apps

I didnt know that when I entered the apple ecosystem. Can I have a refund for all the apps Ive bought on my phone?
perhaps the seedlings can be cultivated manually then, until they can survive without intervention - then they should last a long time.
Artificial Intelligence Act: MEPs adopt landmark law
I have pain feeling sometimes even with anestetic, so I always choose to use it it when the doctor asks.
Curated List of 50 Open-Source LLM Inference Tools: Seeking Contributions
Hey Hackers!

I've been diving deep into the world of open-weight LLMs, and I've noticed how overwhelming it can be to navigate the plethora of open-source inference tools available. To simplify the process, I've curated a comprehensive list of these tools in the GitHub repository: https://github.com/vince-lam/awesome-local-llms

In this repository, I've scraped publicly available GitHub metrics like stars, contributors, issues, releases, and time since the last commit. This data provides valuable insights into the popularity and activity levels of each tool, helping users make informed decisions.

Rather than categorizing the repositories into specific types, I've opted for a holistic approach. With the rapid pace of development in this field, manual labeling quickly becomes outdated. However, I'm open to suggestions on improving organization (perhaps add tags?) and adding new features. A fantastic existing repository, maintained by the Jan team, categorizes some LLM inference tools at: https://github.com/janhq/awesome-local-ai

Additionally, I'm considering expanding the repository to include proprietary closed-source LLM tools for completeness. And I'm exploring the idea of incorporating a gallery of screenshots/GIFs to offer visual insights into each tool's UI.

Your feedback and contributions are crucial in shaping this repository into a valuable resource for the community. If you've found the repository useful or have suggestions for improvement, please let me know! And if you want to stay updated with the latest developments, consider giving the repository a star on GitHub.

Looking forward to your thoughts and contributions!
Pre-industrial societies may not have had flat screen tvs, but they had time. The only thing you can't buy.
Internet Gardening
This is very nice, stock i3 works very well for me though so it's a hard sell to get me to switch.
Stratolaunch's Hypersonic Talon-A Makes First Powered Flight
withfig/autocomplete is also used by other projects, who might be in a position to fork if something happens. The ones I know of are:

- https://github.com/microsoft/inshellisense

- https://github.com/warpdotdev/Warp
Closer to 1/5000 for the vaccine thing, depending on the sub-population.
Yes, but not against deadlocks, leaks and atomic ref count locking overhead etc. Depending on how you write your code, (and the runtime if you’re using async) you usually need to abandon a certain subset of the key selling points of Rust (eg RAII, compile time borrow checks, and other zero-cost things). It’s bulky but yes, memory safe.
I like to be very blunt with people who don't know anything about this stuff by just saying "AI doesn't exist." There is nothing intelligent about "AI," and people need to know that.
It's still quote humorous how Biden can create these messes and yet Republicans are still the bad guys here... This is how nothing changes.
Just out of interest would you mind sharing an example (eg a bit of screengrab) of the rendered result of the macro, and/or the macro itself? It sounds useful but I can’t quite visualise.
Stay your lane, and if you really feel the itch go contribute to firefox or something
Porting Doom to Godot in 34 Lines of GDScript
A postmortem of a (somewhat) simple project meant to show off the power of WebAssembly within Godot, and therefore my Godot Wasm addon [0].

[0] https://github.com/ashtonmeuser/godot-wasm
https://archive.is/xOZPn
Reminder of Diceware:

> Diceware is a method for creating passphrases, passwords, and other cryptographic variables using ordinary dice as a hardware random number generator. For each word in the passphrase, five rolls of a six-sided die are required. The numbers from 1 to 6 that come up in the rolls are assembled as a five-digit number, e.g. 43146. That number is then used to look up a word in a cryptographic word list. In the original Diceware list 43146 corresponds to munch. By generating several words in sequence, a lengthy passphrase can thus be constructed randomly.

* https://en.wikipedia.org/wiki/Diceware

* https://diceware.rempe.us/

* https://packages.debian.org/search?keywords=diceware
Theres literally billions of dollars of pure profit on the line here. Id be surprised if they dint do absolutely everything they could to keep the app store the way it is.
With snow in particular, 20 miles can be the difference between sort of a nothingburger and you really don't want to leave the house if you don't need to.
Then you should be aware that, for the longest time, Google was against multiple floors, until they suddenly switched to four floors in many locations:

https://www.datacenterfrontier.com/cloud/article/11431213/sc...

A decade ago, there was a burst in construction and in some places the bottleneck was not getting the machines or electricity, but how fast they could deliver and pour cement, even working overnight.
Show HN: GameTuner – open-source game analytics platform
GameTuner is an open-source, ready-to-use gaming analytics platform developed by gaming industry veterans.
It comes with of out-of-the-box tools designed to boost your data driven environment.
GameTuner is designed with industry best practices and use modern data stack.
Same in Portland, and when cycling. So checks out here :)
I genuinely wonder if those googlers put in tickets for the issue before complaining to the tech media.
Xi Jinping is on the record, saying they are taking Taiwan. https://www.nbcnews.com/news/china/xi-warned-biden-summit-be...

The only questions are when and how and what will the rest of the world will do about it.
Donor diets can trigger allergic reactions in blood recipients
> but I guess I'm not following how this question is related to the article? They're not claiming to use some kind of supernatural means to predict the future.

Probably because they don't think it exists.
Very good article, I use mostly similar design ideas around multi-threaded code in my framework and projects.

The main take is to avoid concurrency and instead use parallelism as much as possible.

Also, a carefully engineered gameState or appState structure can help, my design is based around buffering the full state, so the work done during one step (typically a frame) is given as reference to the previous, frozen and immutable state as input, and can only write on the next state, with split/join of containers (my own generalized flavor of arena) when parallel work is done.

I think that full concurrency is possible and has been proven to work, but IMO is a very costly and risky tradeoff, and unlikely to achieve much higher performance.
I hate when they do apples and oranges comparisons; it renders it almost useless:

"There are an estimated half a million redwoods in the UK... fewer than 80,000 giant sequoias remaining in their native California range."

generic redwoods in UK 500,000, specific giant sequoias in Calif 80,000. It does not say how many specific giant sequoias there are in the UK.
Am I understand right that your definition of nothing is $94M?
Because all these problems don’t hinder their bottom line.

Cluster admins or Ph.D. students handle these problems, allowing people to work. All this infra is already buried under Conda, Jupyter, etc. for most people already.

Sincerely,

Your friendly HPC admin.
I don't get why this social media exists, twitter was pretty bad before he sold it, I remember he went out of his way to hide the feed of people you actually follow, and people were just abusing keywords to get on my timeline with garbage.

Trends were also insanely manipulated.

I for one will not and won't even remotely consider using another of his "social medias", it must be fun for him to go sell his garbage-fied social media make billions then attempt to create the same exact thing and have sheep follow him to it, get rug pulled every few years so he inflates his pockets, no thank you.
>I don't use a passphrase for every login, but for some logins...

>I don't always drink beer, but when I do...
Rust Flashcards – over 550 cards to learn Rust
Non-paywalled version: https://archive.is/ZtfNh
Can you share the macro? Merely subscripting the matrix with dimensions as in

\begin{equation*}
\begin{bmatrix}
a & b & c \\
d & e & f \\
h & h & j \\
\end{bmatrix}_{3 \times 3} = 5
\end{equation*}

creates an unpleasant horizontal void in the equation.
I'd love to live in a Communist society. I think our technological capabilities are to the point where a centrally managed economy is not only possible, but extremely doable.

The main issue being, our governments and society have made it clear that the opinions of those who hold Capital are far more important than the unproductive surplus. Our entire society now is based around consuming cheap products we don't need, because the previous cheap products wore out prematurely. The focus on a profit motive tosses aside great discoveries that are unable to turn a profit, while encouraging useless advancements that only degrade our lives.

IE advertisements make money, but I've never met someone who believes their life to be improved by ads, except for a minority of shareholders.

On the other hand, there have been many medical advancements all but scrapped because the lack of profit outweighed the human benefit.

The profit motive is incompatible with a robust society. I won't pretend to have the answers on what should be done and how to implement it, but I know that our current system cannot last forever.
The EU is not exactly doing this exclusively for privacy. This is a geopolitical ploy to thwart America's dominance in Tech, as a cope for not being able to produce any homegrown rivals to America's tech giants.
Distribute Artifacts Across OCI Registries
Yes, Gemini's images were certainly absurd, no disputing that. So few black men fought for Germany that it probably doesn't warrant representation at all, at least certainly not at the rate Gemini was doing it. Still, it wasn't zero, and it makes me wonder if people in the future will write off historical oddities as AI fabrications.
https://en.wikipedia.org/wiki/Dutch_book

https://en.wikipedia.org/wiki/Von_Neumann%E2%80%93Morgenster...

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

Maybe everything's not a card game, but you really don't want to find yourself in a situation that isn't.
> and while the Bluesky client hardcodes the Bluesky moderation

And what if I don't like your moderation? Can it be overruled, or is this just a system for people who want stricter moderation, not lighter?
> which I haven't used because I don't particularly want to learn Rust

This is a good reason to not recommend libraries for other languages as a substitute. People are interested in pywebview because it's written for Python. They don't want to learn Go any more than you want to learn Rust.

> Nothing against this project it's just Python is not an optimal technology for shipping self-contained desktop apps.

"Optimal" is relative, and varies depending on a lot of factors that you don't have context for for OP's project. Even setting aside the value of being able to use a language you already know (which is hard to overstate), there are reasons you might want to use Python over Go.

For example: the last desktop app that I started integrates with a bunch of ML/LLM libraries that are, unsurprisingly, primarily written in and for Python. I could use Go and dive into FFI/IPC for the Python code, or I can just write the whole thing in Python and pywebview and figure out distribution [0]. I chose the latter.

[0] https://pyinstaller.org/en/stable/
The Windows alt+tab behaviour up to Windows 7 was reliable/predictable with two caveats,
1. Things that minimised to the notification area would not go to the back of the stack when you minimised them.
2. Microsoft Excel misbehaved - something to do with each workbook having its own window entry in the group, but also the application having this entry.

At some point since Windows 7 I played with it and found it to be no longer consistent. I could somewhat correct for this by using alt+esc to move a window to the back of the stack and then reverse to it with ctrl+shift+tab.
> Such a statement should be backed by proof, not by trust.

Just noting that "Cheswick" is the dude that literally (co-)wrote the book on firewalls (1e in 1994):

* https://en.wikipedia.org/wiki/Firewalls_and_Internet_Securit...

* https://en.wikipedia.org/wiki/William_Cheswick

* https://en.wikipedia.org/wiki/Firewall_(computing)
More AR Glasses USB Protocols: The Worse, the Better and the Prettier
How is the collaboration done when composing? I can't imagine multiple humans sitting on one computer.
Nothing is stopping the community from talking about bad things. If you want to opt out of certain topics, that doesn't stop anyone from doing their own thing, it just stops you from seeing them. If you choose to allowlist your friends, you'll see whatever they post. If you blanket hide any posts that mention something, that's entirely your prerogative.
After about 30 years of programming and seeing mostly everything getting worse, I figured every company must be making absolute garbage and they will eventually get them into issues that cost real and serious money. This turned out to be true everywhere; small and big; I started with smaller companies that have software a few years old rotting away and leaving them vulnerable without able to do anything except hire (hard to find) people to replace or update it (mostly the same proposition because it’s all so bad) or using services that are broken (not maintained or removed features), shut down or getting too expensive for them. Then we moved to bigger and bigger and it’s indeed everywhere. I always wanted and recommended to use tried and tested old and boring software: Apache mature products, Postgres, MySql, SQLite, Java (not the latest), Common Lisp, HTML/CSS with minimal js, QT etc but companies are far and wide not listening or doing that and adopting the latest burning piles of poop which guarantees our business millions of clients for decades to come.

It’s a simple business model; you must like (love) even poking around in horrible stuff that might not work after restart and no one dares to touch. We offer services that a) secure that software so it can keep running, be restarted and reinstalled b) make performance improvements c) do vital fixes or features/integrations d) emergency fix downtimes (we have 247 service for that). We only do things that need to happen now and are thus most urgent; we never offer rewrites, as, for our current even smaller clients, that would tie the team up for years on one client. Boring and dangerous.

But there is more than enough money in rewrites too: but if you are planning that; please use the latest and greatest frameworks, dbs, microservices, paas, saas and definitely never any versions over 0.9 please; anything that might not survive 3 years without continues poking, upgrading and fixing! We want to be around to clean it up! /s
OpenAI no longer operates as a non-profit. The "OpenAI" name has been a joke for years in tech circles for this reason.
It's missing my local one here in Surrey, where someone has one growing in their rather small front garden. Such a huge tree in such a small space - I wonder which one came first. Anyway, thanks for making me aware of this, I'll go and add it.
I'm really surprised, considering that they bought darksky. When darksky was active, it was one of most accurate weather apps I had ever used for location specific rain forecast.
The article states this is for both Google and Apple, but it's probably much lower for Android.
I'm going to try that, thank you!
Mass timber is great, but it will not solve the housing shortage
I am sympathetic to the point. I was somewhat concerned about nuclear war with Russia's Ukraine invasion, and I've become more concerned about climate change over time. I'm hoping either solar continues to expand - woot! - or we get over our fear of nuclear, or fusion finally becomes viable.

My point still stands - an AI that is reproducing (and/or mutating) by any method is going to be subject to selection pressure, just as any biological process is. All ML systems are effectively under selection pressure from the training process, and so they learn unexpected and mostly undesirable optimizations like "use a game-engine glitch to gain infinite flight and go to the goal without solving the maze" or "read text off the scanned X-ray sheet to get additional clues as to the correct diagnosis".
If OP takes this approach, please please please make this usage data easily accessible, ideally both as a (free?) API endpoint and as a timechart/table in the web UI if applicable.
I've no doubt Errol told Elon that the mine existed. I've no doubt that Elon believed it when he was 15 years old, and believed it as recently as 2014. And maybe it did exist, or maybe it was a Nigerian Prince scam and Errol, embarrassed to admit he was duped, never recanted that claim. Who knows.

Meanwhile, there's still no trace of this supposed mine. You'd think with all of the obsession people have with this mythical origin story, someone would have found it by now.
Bundling Python isn't too bad if you find the right tools for it.

I really like https://github.com/indygreg/python-build-standalone and https://github.com/indygreg/PyOxidizer

A bundled, built standalone Python can be 16 to 32MB (including the full standard library, which you can strip down to just the bits you use to save size). Not tiny, but probably not worth switching programming languages over.
The Frog for Whom the Bell Tolls
This is a geopolitical ploy to thwart America's dominance in Tech, as a cope for not being able to produce any homegrown rivals to America's tech giants.
I'll go further in one regard: the App Store in fact hurts Apple because it has caused a kind of filtering of apps down to those that are the sleaziest.

I used to enjoy exploring the App Store — I resent it now. I'll download half a dozen apps only to delete them within minutes of launching them because of their rent-ware attitude or just plain shitty functionality.
Eventually it might. The same as some software is built with implicit linuxisms and systemd-isms that requires patches to build and run on BSD-like systems and other Unixes, there will be a point where developers will make assumptions on the presence of X and Wayland that'll make it difficult to make software run on X.

We already are at that stage with browsers - running Firefox on one machine while displaying the UI in another is a huge pain because the rendering is happening on the X client and it's pushing pixels across the network to the X server.
Be Kind, but Keep Your Integrity
> I have no idea why Apple allows buying trademarks/full app names as an ad keyword.

Because unlike a regular search query, app store searches tend to be for app names, which are unique. Advertisers won't be interested unless bidding on brand names were allowed.
Lots of Lawyers
Linux 6.9 Lands Reworked Topology Code for Better Hybrid CPU Support
Is the site MKDocs?

edit: looks like sphinx
Why do Americans always read backroom politics into everything.

How does the GDPR help EU tech companies? I hope you're not about to tell me it's a ploy to bundle up resources for compliance in US companies or it levels the ground for the EU to be able to compete somehow. It caused enough headaches for us too.

Sometimes a good thing is just a good thing. The US supposedly was a country that had laws made without sinister corporatism at work at one point too.
I think that Amdahl Law is the reason why many engineers follow the full concurrency route instead of exploring parallelism more extensively, and that is a shame because while the theoretical limit of concurrency is higher, in practice the many, complex and sometimes mind boggling problems related to synchronisation can prevent such gains, and the problems don’t scale in a nice way, to put it mildly.

On the other hand, parallelism scales nicely, and is mostly simple with a few rules.
I think there's a good point in-between a $4000 dollar tailored suit and a $0.13 tshirt made of plastic that is designed for the landfill.

I'm unsure why we default to extremes on that regard. A decent made T-Shirt should cost about $40, but right now the $40 shirt costs $.10 to make. Therein lies the self-consuming nature of how things are going right now.
Im in Utah which has this law. Now pornhub is effectively inaccessible because Im not giving them my ID but I think it largely backfired because everyone uses offshore sites now. Tbh Im kind of grateful because the offshore sites have much better content since its all pirated, but I never wouldve even thought of them until I was kicked off ph.
No they haven't, a classical Turing machine has at most an exponential slowdown compared to a quantum Turing machine.
Sounds like the answer is in the next part of that sentence:

> another client can choose a different primary Labeler

So you can overrule the moderation, but not if you use the official client.
Interactive transcripts of physicist David Deutsch
A tool for searching transcripts from a selection of videos featuring David Deutsch.

The transcripts were AI-generated using whisper, and may contain some errors.

Search for keywords using the search bar, and then click on a result to see the video and its transcript.

You can click the text of the transcript to play the video at the relevant time.
I purchased some Giant Sequoia seeds last year and only germinated them this year. Only two survived but I’ve no idea if they’re doing well. If they do survive my plan is to plant them somewhere in the Scottish highlands.

I also have some Coastal Redwood and Dawn Redwood seeds but none of those germinated. I think I kept them in storage for too long. I might give them another shot.
Adding NVMe SSDs to Enable and Accelerate 100B Model Fine-Tuning on a Single GPU
There's a narrative around game budgets and timelines that seems to assume that they're increasing due to it being inherently more expensive to create them. The reality is that the technology has massively raised the potential output of a small team & that increasing budgets are an economic decision - selling a small game that takes players' attention away from your GaaS omnigame is inefficient. And you need to take it away from Fortnite while also competing with excellent games that are free.
Amazon is known to be a flea market though. Apple is supposed to be the Nordstrom of this sector.
I don't want to rely on this theory, exactly, but it's a very plausible outcome, and exactly the kind of homeostatic process that I would expect to exist.
Its hard for me to think of a sprawling CLI that I love.
Wisdom Tree