HNHacker News
TopNewBestAskShowJobs

tobiasu

1,210 karma · joined January 11, 2011

submissionscomments
tobiasu··on How OpenAI Used Its Own LLMs to Design Its Jalapeño Chip
Of course the slop machine stole the code name: https://en.wikipedia.org/wiki/UltraSPARC_III#UltraSPARC_IIIi
tobiasu··on Small Models Have Arrived
Sure. The fastest small coding model is probably Mellum2 12B-A2.5 by Jetbrains. It matches or beats all Qwen models in this class.

Can even run on a notebook CPU and comes in Base (best for FIM), Instruct and Thinking variants. mradermacher has imatrix quants for people who can't run it at Q8.

IQ4 should fit, but even if it doesn't, llama.cpp has options to partially offload models to system memory.

tobiasu··on AI agent bankrupted their operator while trying to scan DN42
https://bash-org-archive.com/
tobiasu··on SPARCbook 3000ST: The coolest 90s laptop (2019)
I don't think anything bad happens, it just doesn't react to the power button and people mistakenly junk them.

The O2 shouldn't need a PSU capacitor replacement yet.

If you want to give the SCSI disk a better chance, place it flat on a table and rotate rapidly, then stop. You should feel the spindle spin.

Hardware of this era is still quite reliable so I don't think you will have problems.

tobiasu··on SPARCbook 3000ST: The coolest 90s laptop (2019)
Probably will not start. It requires a working clock chip to turn on and the battery is way past its expiration date.

There are plenty of tutorials on where to dig into the epoxy and add a cr2032 battery holder to fix it permanently.

Same deal with various SPARC machines (those will at least power on)

tobiasu··on Young People Are Anxious About Climate Change, Say Governments Are Failing Them
Nuclear and shale gas shill writes how technology will solve everything.
tobiasu··on The Itanic Has Sunk
Gentoo also has instructions. Linux/ia64 works fine for the most part, it's not an architecture that causes much drama for userspace applications.

Servers are cheap on ebay and the older Intel boards (also sold by Dell, Fujitsu,..) can be upgraded to newer CPUs that are either less power hungry or faster with more cores and sort-of HT. HP are generally not upgrade-able and SGI/ia64 is a special case with lots of other custom hardware as usual.

Annoyingly many Linux / gcc developers want to remove ia64 support from their source trees because the architecture is no longer commercially relevant.

As a necrocomputing enthusiast it's quite sad, but not much one can do about.

If only this old junk was as popular as the various homecomputers...

tobiasu··on Gnat 2021 GPL Community Edition Ada 202x compiler released
> I suggest you consult your legal advisor.

So do I.

> Adacore holds at least the copyright of their own contributions and therefore can decide whether they want to release their version of GNAT with or without the runtime library exception.

Indeed.

> the FSF version eventually inherits also the contributions of Adacore, but the Adacore version is more current.

AdaCore contributes to GCC, with some contributions copyright FSF, some copyright AdaCore.

AdaCore retains full rights on the later, limited by whatever private agreement they have with the FSF.

Whether it is more current or not is not relevant to the discussion, and given that GNAT CE has release cycles of 1 year it stands to reason that FSF GNAT gets bugfixes that GNAT CE will only get in 2022.

> This doesn't have anything to do with source or binary version.

I'm now pretty convinced you're reading things that I didn't write.

You seem to be under the impression that dual licensing only works because AdaCore GNAT contains newer files.

However, AdaCore can download stock upstream gcc, remove the linking exception from files they hold copyright over, and distribute this result in source and binary form on their website.

This is due to their unique status with the FSF, something that other companies and private contributors can not do.

Finally, I have never suggested recompiling AdaCore GNAT CE sources will result in a GNAT compiler with runtime exception.

Instead I've pointed out the mechanism of how they achieve this dual licensing: A) unique status as copyright holders alongside the FSF B) strategic inclusion or removal of the runtime exception in each and every file they hold copyright over.

tobiasu··on Gnat 2021 GPL Community Edition Ada 202x compiler released
Take as an example the gnat.sockets package from upstream gcc:

https://github.com/gcc-mirror/gcc/blob/master/gcc/ada/libgna...

Compare with the same file from the GNAT 2021 CE install:

GNAT/2021/lib/gcc/x86_64-pc-linux-gnu/10.3.1/rts-native/adainclude/g-socket.ads

you will find there are a bunch of blank lines where the runtime exception was.

tobiasu··on Gnat 2021 GPL Community Edition Ada 202x compiler released
this is unclear to me, what source do you need?
tobiasu··on Gnat 2021 GPL Community Edition Ada 202x compiler released
Yes, that's exactly how it works.
tobiasu··on Gnat 2021 GPL Community Edition Ada 202x compiler released
You can build gnat and gnatprove yourself, including runtime exception.

This is a bit painful (intentionally so) but it can be done.

tobiasu··on Gnat 2021 GPL Community Edition Ada 202x compiler released
The downvotes are utterly ridiculous.

Unlike other parts of GCC, GNAT copyright is held by AdaCore due to some special arrangement with the FSF.

For the compiled CE releases on their website, AdaCore strips the runtime exception:

  -- As a special exception under Section 7 of GPL version 3, you are granted --
  -- additional permissions described in the GCC Runtime Library Exception,   --
  -- version 3.1, as published by the Free Software Foundation.               --

So yes, binaries compiled with that particular compiler are de-facto under GPLv3, and you have to abide by its terms (eg. if a customer using these binaries requests the source code)

You are of course free to build the compiler yourself, or use the Ada compiler that comes with your distro.

The sources are available, you just don't get a tag that tells you which exact combination of files AdaCore used to build and verify their binaries.

This is a strategic PITA, and AdaCore have in recent years made some moves to improve the situation, with being active on github and responding to issues in general.

tobiasu··on Use native context menus on Mac OS
Thank you, it's a shame the first link doesn't show up on google.

I've found the contribute page, but that leads straight to https://github.com/mdn/archived-content/tree/main/files/en-u...

tobiasu··on Use native context menus on Mac OS
Related: Can anyone share the google search to find instructions how to get started with firefox development?

Have they removed it all? I can find old stuff in the archived github repo, but that's about it. What's the official entry point?

tobiasu··on "ERROR: could not open temporary file" after upgrade to Mac OS Big Sur
Your solution will hang postgres at 100% CPU, with no indication what is wrong.
tobiasu··on HarmonyOS is Huawei’s Android alternative for smartphones and smart home devices
Some strings:

/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/../../open_source/hcc_arm64le_build_src/gcc-7.3.0/configure --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --target=aarch64-linux-gnu --with-arch=armv8-a --prefix=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu --disable-multilib --disable-libmudflap --enable-nls --disable-sjlj-exceptions --enable-gnu-unique-object --enable-linker-build-id --enable-shared --with-arch=armv8-a --with-gnu-as --with-gnu-ld --disable-libstdcxx-pch --enable-libstdcxx-time=yes --enable-lto --enable-c99 --enable-clocale=gnu --enable-multiarch --enable-gnu-indirect-function --enable-checking=release --enable-threads=posix --enable-plugin --enable-long-long --with-pkgversion='Compiler CPU V200R005C00SPC030B003' --enable-languages=c,c++,fortran,lto --with-headers=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu/sysroot/usr/include --with-sysroot=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu/sysroot --with-build-sysroot=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu/sysroot --with-gmp=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu --with-mpfr=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu --with-mpc=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu --with-isl=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu --libdir=/usr1/compiler_cpu/code/current/build/hcc_arm64le_ark/arm64le_build_dir/gcc-ark-7.3.0-x86_64_aarch64-linux-gnu/lib64 --disable-bootstrap --enable-fix-cortex-a53-835769 --enable-fix-cortex-a53-843419 --with-system-zlib

Nothing out of the ordinary at first glance. The tarball has your usual compiler stuff (binutils, gold) and a standard linux sysroot with glibc.

Whatever "ARK" is, I don't see it.

tobiasu··on Why Thieves Steal Soap
> but those 8 people have 16 bicycles

Each.

As a cyclist, N+1 is real :)

tobiasu··on Can a $9 Computer Spark a New Wave of Tinkering and Innovation?
Raspberry Pi Foundation is a charity sponsored by Broadcom, maker of the chip.

$5 is an arbitrary price, and in no way shape or form comparable with a business making a single board computer and having to buy components at market rate.

tobiasu··on OpenSSH: client bug CVE-2016-0777
Ughhh, that's insane.
tobiasu··on “Compiler Construction” by Niklaus Wirth (2014) [pdf]
The 2014 version is available here:

https://www.inf.ethz.ch/personal/wirth/CompilerConstruction/...

tobiasu··on Turkey Shoots Down Russian Warplane Near Syrian Border
Which is absurd, Turkey have zero rights to declare a no fly zone and shoot down planes in Syria.

This isn't the first time either, they shot down plenty SyAF fighters and helicopters over Syria, it's just that nobody in the West cares.

tobiasu··on Strncpy() is not a “safer” strcpy()
This beard has its own beards.
tobiasu··on John Nash Has Died
Rest in peace
tobiasu··on Uber: Disability Laws Don’t Apply to Us
Uber: Pissing off judges worldwide
tobiasu··on Russian WW2 parade: A tank-spotter's guide
Given the parent engaged in nothing but good old USA! USA! USA! chest thumping, the response seems fitting.

Both are out of place on HN, /r/worldnews is over there ->

tobiasu··on Fatal silence: Why do so many fortysomething men kill themselves?
Why do people suddenly care for others when they had enough of this shitty space rock? You gave no shits the last three decades. Given the rabbit-like pest that we are - why should you?

I want to end my life where and whenever it suits me. Hypocrites please stay away.

tobiasu··on Before Hunt
Meaningless Words
tobiasu··on Aquaris E4.5 Ubuntu Edition
Looks like at least Germany and Austria have their own shop.

https://store-de.bq.com/de/

tobiasu··on Germany's trade surplus is a problem
It's always nice when our American masters tell us what to do with our money and laws.
Page 1 of 9Next →