HNHacker News
TopNewBestAskShowJobs

pepijndevos

1,511 karma · joined May 20, 2010

submissionscomments
pepijndevos··on Llama.cpp supports Vulkan. why doesn't Ollama?
ramalama seems to be trying, it's a docker based approach.
pepijndevos··on Proximal Policy Optimization for Playing Super Mario Bros
How far away is this from the top speedruns? The readme mentions OpenAI beating Dota 2 pros with the same models, so who knows??

It seems like an AI would not "play by the rules" and can easily detect weird edge cases and shortcuts. But as far as I can tell from the small GIFs, it's not doing any particular glitches.

pepijndevos··on Pinephone – “Community Edition: PostmarketOS” Linux smartphone
I'm really looking forward to get one of these things when they come with decent warranty and without dead pixels. I'm as eager as anyone to get away from the walled garden duopoly, but since it's not suitable as a daily driver yet, maybe I'll be able to restrain myself and not buy it.
pepijndevos··on Linux kernel in-tree Rust support
Pleasantly surprised by Linus response. IIRC his attitude to C++ was that it should be refused if only to keep C++ programmers out.
pepijndevos··on Climate models are running red hot, and scientists don’t know why
How do these models address overfitting? I'm sure this is taken good care of, but from just reading the article it almost sounds like some details were added to make it fit recent changes better.
pepijndevos··on Tech’s Next Revolution Might Be Open Source Semiconductors
Yea, I think this is an interesting approach. But FreePDK45 slides mention that it's not designed for manufacture, and there does not appear to be an easy upgrade path. So you could design a chip with FreePDK, release the design, and then redo the whole thing in a vendor PDK.

I talked to someone who worked on AsicOne, and he said that even if you make your own PDK and draw your own transistors and everything, you'll still have to sign an NDK to do the sign-off and what not. I'm not intimately familiar with the whole process myself, but from what I understand it is basically impossible to have an open source analog design that you can actually manufacture. (sure, you can make a theoretical toy thing, but if you can't manufacture it, who cares?)

pepijndevos··on Tech’s Next Revolution Might Be Open Source Semiconductors
Open source semiconductors is such a broad area, and sadly only a tiny spec of it is open source: The HDL code that describes the digital circuit.

Everything else is very experimental at best. These days the FOSS FPGA tools are finally getting some traction, with Yosys and Nextpnr. But AsicOne tried to make an ASIC with open source, and faced endless troubles.

For ASIC there is basically QFlow, which is quite old, but used successfully to tape out a chip in the past, and there is OpenRoads, which is very new, experimental and ambitious. There are still major gaps in these tools, so in the end you inevitably have to sign an NDA and use proprietary tools and libraries.

And that's just talking about DIGITAL semiconductors where you compile HDL to pretty much generate the transistors from foundry cell libraries. So you have to sign an NDA to get the cell library, but you can at least release your code.

For analog chips, you can't do anything. An analog design highly depends on the parameters of the transistors you use, so before you even BEGIN designing, you have to sign an NDA to get the transistor models and you can NEVER open source an analog design.

The small dot of light at the end of the tunnel are projects like Minimal Fab, who make more accessible fabrication lines with open transistor models.

The crazy thing is that back in the days there were lambda rules, which were open rules anyone could use to design and model with. But with sub-micron devices, these scalable rules no longer scale, so fabs started producing secret models for their specific process.

I'm hopeful that after FPGA, and digital ASIC, analog will be next to be revolutionized.

pepijndevos··on Every Google result now looks like an ad
This pushed me over the edge to switch to DuckDuckGo. So far so good.
pepijndevos··on Using an /e/ phone as a desktop or laptop
I find it difficult to evaluate an Android for my phone. Currently running AOSP (actually phh-treble) rather than any fork that adds any significant features.

In particular it's hard to tell if any particular fork is just a one man hobby project, a fork of a fork, or has any significant work behind it.

Of course the big one is LineageOS, but they seem to make specific phone images, mostly for high-end phones, rather than generic system images for my low-end phone.

The list of generic system images is extremely long and not all that helpful: https://github.com/phhusson/treble_experimentations/wiki/Gen...

I ended up chosing phh-treble because it doesn't add any BS, promises quick updates, and serves as a base for many other roms, lending it some reliability. It's pretty much AOSP with hardware fixes.

That said, it doesn't do some pretty basic things like automatic brightness and night mode, or a PIN timeout. So maybe that's eventually drive me to try another ROM...

pepijndevos··on Nitter: Alternative Twitter Front-End
Can I actually see tweets from the people I follow, or only really look at specific profiles?
pepijndevos··on LavaPS: Top, Implemented as a Lava Lamp (1995)
This looks really cool, but on Arch it does not compile because libgnomeui is not a thing that seems to exist anymore. Hasn't anyone made some modern port of this?
pepijndevos··on Technology Preview: Signal Private Group System
I really want Signal to succeed. Or rather, I want anything that has decent cryto and is not FAANG to succeed.

The problem is not which messaging app I want to use, it's which messaging app my friends are using.

That said, if I had to choose, I think Matrix has a slight edge in my books because it's a protocol rather than a silo. Even though Signal is private and open source, they are hostile towards people running their own Signal builds on company servers, and unwilling to federate with other servers.

Essentially, you run the official Signal app on the official Signal servers, or GTFO.

pepijndevos··on Verizon/Yahoo Blocking Attempts to Archive Yahoo Groups – Deletion: Dec. 14
This is very sad to hear. One particular piece of Yahoo groups that I particularly care about is the LTSpice group, which contained a lot of simulation models I've not been able to find anywhere else. Luckily, this particular one seems to have been migrated to https://groups.io/g/LTspice
pepijndevos··on Her Amazon Purchases Are Real, the Reviews Are Fake
I would think it is extremely easy to spot fake reviews statistically. The other day I was browsing a Dutch website similar to Amazon, and they show a distribution of the ratings. For a given category, there were a few products at the top that had hundreds of 5 star reviews, a wide gap, and then a few 1 star reviews. Meanwhile, the other products had a fraction of the reviews with a more natural distribution.
pepijndevos··on Faces of Open Source
How many people do you actually recognize?

Personally, only Limor Fried. It's weird, but also interesting, that tech is so faceless.

pepijndevos··on Acrostic
fwiw, the Dutch national anthem is an Acrostic.
pepijndevos··on Small C Compilers
https://github.com/pepijndevos/seqpu/blob/master/cpu.vhd
pepijndevos··on Small C Compilers
Say I wrote my own CPU (which I did), which of those tiny C compilers would be easiest to retarget?

My CPU is very small, (~300 LUT4 on an FPGA using Yosys), but has a very minimal ISA. It's mostly an accumulator machine with a stack pointer.

pepijndevos··on Lego logic gates and mechanical computing
This is super exciting, but I find the website honestly quite hard to look at.

Looking forward to someone building a larger system with this. Or... a Yosys backend?

pepijndevos··on Qt for Android better than ever before
I have in the past developed a fairly large (proprietary) Qt application that used the same codebase on Linux, Windows, and Android. I would say Windows and Android are tied for compile hell.

This update looks really neat, and may solve some problems for some people. But personally my biggest gripe with Qt is qmake.

When you are doing Android, lots of resources assume Gradle, and lots of Qt stuff assumes qmake. Neither is ideal if you're dealing with other libraries like gstreamer, or even worse: proprietary libraries compiled using an old NDK.

So I ended up writing my whole build system in cmake, which made builds on Windows and Linux a lot saner, but made Android a living hell. I'd love to see better support in Qt for actual sane build systems you can use with real world third-party libraries, because qmake is not it in my experience.

pepijndevos··on Waypipe: GSoC Project Complete
I agree that it's impressive, but my biggest objection to Wayland is uuuh... that it doesn't work. This is honestly mostly NVidia's fault, but still. I have a laptop with dual Intel and NVidia graphics, and there is as far as I can tell no way to make Wayland understand that my external monitor is connected to the NVidia card. I tried both Nouveau and proprietary, but then I switched back to X11 and it worked instantly.
pepijndevos··on Nvidia's DG-Net: Dress up people with different clothes/use as training data
Sadly, I don't have 16GB GPU memory...
pepijndevos··on AMD Zen 2 Microarchitecture Analysis: Ryzen 3000 and EPYC Rome
Is anything known about AMD's mobile plans? I looked into a high-end AMD laptop today, and their mobile stuff seems mid-range at best, with TDP of 15W and integrated graphics. The only high-end thing out there seems to be gaming machines with desktop-class everything. I'd love to be proven wrong, as I'm kinda in the market for a laptop and I've kinda had it with Intel and especially Nvidia and their lack of cooperation with Wayland. I'd love to buy a high-end AMD laptop with dedicated graphics.
pepijndevos··on Bitcoin mining on an Apollo Guidance Computer
I can highly recommend the curiousmarc AGC restoration series on youtube, which also feature Ken.
pepijndevos··on Facebook’s image outage reveals how the company’s AI tags your photos
What I think is more interesting about this outage is that Instagram and WhatsApp were affected. This means your images are stored on the same servers, and possibly subject to the same AI scanning. I wonder if WhatsApp images are E2E encrypted...
pepijndevos··on The Cost of JavaScript in 2019
I read the title as "the price we're paying for everything being written in JS these days"
pepijndevos··on Temperature changes around the world – 1901-2018
Are you telling me that every country in the 1900 recorded their yearly temperature?

I'm not saying it's fake, but I'd like to know where the data comes from, and how reliable it is.

pepijndevos··on Privacy-friendly alternatives to Google
What's missing from the list is Android and Google Play, the number one spy device in my house.

As far as I know there is only iOS and Android forks. Android forks are an option if your phone supports it, but living without Google Play (Services) limits your app choices a lot.

Windows Phone and Blackberry sadly gave up the battle. Others like Ubuntu phone and Firefox OS never really materialised.

As far as Google Play alternatives go, there is the Amazon store and F-droid, but good luck finding even the most basic Android apps on either.

Honestly, I'd settle for a dumbphone with WhatsApp(extremely widely used here) and a browser. Almost feels like we're coming full-circle to the first iPhone with very few native apps and powerful web app capabilities.

pepijndevos··on OpenMandriva, the first Clang-built Linux distribution
In addition to the "why does LLVM matter" asked elsewhere, why would I want to use OpenMandriva?
pepijndevos··on Apollo 11 in Real Time
For some reason my dad can't get in. The cursor is just a (/) when you mouse over the join now button. Is the site overloaded? Is something wrong on his end?
Page 1 of 13Next →