HNHacker News
TopNewBestAskShowJobs

miga

635 karma · joined January 12, 2013

Haskell & declarative language dev, blockchain and big data platform builder, former research nanoscientist.

migamake.com

miga.at.hn

submissionscomments
miga··on AMD silently removes memory encryption from consumer Ryzen CPUs
It is sad that once again we will be exposed to more criminals trying to steal our data. Memory encryption not only allows to secure memory from physical "cold RAM", but also prevents loss of encryption keys as it hides the content during transfer.
miga··on Zvec: A lightweight, fast, in-process vector database
Why no benchmarks against pg_vector, DuckDB with extension?

For benchmarks you may just prepare Phoronix Test Suite module (https://www.phoronix-test-suite.com/) to facilitate replication on a variety of machines.

miga··on Show HN: Per-instance TSP Solver with No Pre-training (1.66% gap on d1291)
Also compare with LKH3 which seems much faster and closer to optimal.
miga··on KDE Connect: Enabling communication between all your devices
Unfortunately the default configuration poses significant security problems, allowing for sidestepping 2-factor authentication schemes, and sideloading of applications without user permission (!)
miga··on Ask HN: How to stop an AWS bot sending 2B requests/month?
Do they change IP numbers so often?
miga··on OpenAI is losing about three times more money than it's earning
In bussiness it is not called "losing", but "investment".
miga··on The MacBook Air 2025 Is Now Cheaper Than a Random Mid-Range Windows Laptop
Because 8GiB is insufficient for most work in 2025, so cheap Macbook is simply better Chromebook at this point: https://videocardz.com/newz/pcgh-demonstrates-why-8gb-gpus-a...

And 16GiB VRAM insufficient for games:

https://videocardz.com/newz/pcgh-demonstrates-why-8gb-gpus-a...

Also, 3nm M4 is going head-to-head with older Ryzen AI 365 in everything except for power efficiency: https://nanoreview.net/en/cpu-compare/apple-m4-vs-amd-ryzen-...

When compared in multicore against Ryzen AI Pro laptops (high end), even Apple M5 are behind in the dust...

https://www.cpu-monkey.com/en/compare_cpu-amd_ryzen_ai_max_p...

Despite awesome progress with its latest ARM processors, Apple was caught behind Ryzen, and is threatened by next generation of Zen processors.

miga··on Show HN: Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model)
How much faster or slower than 400 lines compiler? https://news.ycombinator.com/item?id=26191243
miga··on Forth in Zig and WebAssembly
Fails to recover after the first parse error.
miga··on Postcard is now open source
While I admire social-network-friendly websites, I am afraid that performance is too bad to allow its use instead of a social network.

Indeed it is so performance sensitive, that it has blocked my region. Would it not be better to get a static site generator from a standard Markdown posts, and thus assure it is both performant and accessible?

miga··on Peter Thiel: Elon Musk has given up on Mars
Inventions of SpaceX made space trips much cheaper: https://spaceinsider.tech/2023/08/16/how-much-does-it-cost-t...

Now it reaches just 2k$ per kilogram.

miga··on Peter Thiel: Elon Musk has given up on Mars
Human foot on Mars is a multi-year research project, but NASA is still at the stage of planning the moon base.
miga··on Telegram founder Durov says his 100 children will receive share of his estate
100 children? Looks like Elon is less fertile...
miga··on Musk-Trump dispute includes threats to SpaceX contracts
When policy dispute escalates to ad hominem and fund cutting arguments, it becomes clear that the presidency no longer serves the institution, but becomes a personal kingdom.
miga··on OpenAI won't watermark ChatGPT text because its users could get caught
...until they are legally required, just like producers of printers are.
miga··on Tax consequences of WIN95 team members keeping a piece of software for testing
Sharing software to be tested for free seems an unalienable right of the company, and indeed many companies distribute free keys to testers.

Here author talks about taxing software that remains with the employee, as if it were "gift" or "taxable benefit" of employment, not an exercise of unalienable right to share software for testing.

Sounds more like tax office logic, instead of common sense.

Taxable benefit would occur if Microsoft bought software of others and gifted it to employee. Or if Microsoft could not reasonably expect people to actually test the software, or allowed them to resell it.

It seems like this article does not distinguish non-monetary "benefit" from employment from necessity that the company gives free license to use its software for testing.

miga··on Intel Brags of $152B in Stock Buybacks. Why Does It Need an $8B Subsidy?
Stock buybacks return money to the investors.
miga··on Communications of the ACM Relaunched as Open Access, Web-First Publication
Despite widespread knowledge that Open Access is more effective marketing of research, the ACM still clings on to non-open-access models outside of CACM.

ACM is among the few publishers in technology that still resist open access, and told to pay for it.

It is unfortunate sign that organization struggles to fulfill its mission in promotion of computing research, and is instead leaning on interests that are outside its mission statement.

miga··on Epic says Apple will reinstate developer account
EU trust watchdog is less trusting than FTC.

While Mr Perry prefers to parry words before a material blow lands, Mr Cook naturally avoids cooking an antitrust case.

miga··on Apple terminates Epic Games developer account, calling it a 'threat' to iOS
Apple is a monopolist on a service that is public.

Termination of developer account in this case merits FTC action.

miga··on Array languages vs. the curse of the spreadsheet
Part of modern university training is making exercises as unrelatable as unpractical as possible, so that students are relieved to find their commercial work simply boring and repetitive afterwards.
miga··on European court favors strong encryption, calling it key to privacy rights
"International law scholars consider the ECHR to be the most effective international human rights court in the world." https://en.wikipedia.org/wiki/European_Court_of_Human_Rights...

There are 46 state members of Council of Europe: https://en.wikipedia.org/wiki/Member_states_of_the_Council_o...

In principle human rights are considered civilizational legacy, and the opinions are highly considered by other courts. However, the public policy of particular states is often at odds with these opinions.

miga··on Institutions try to preserve the problem to which they are the solution
It would be better to submit the paper for peer review verifying the claims.

It is great to have opinions, but it is even better to rigorously check them against reality.

miga··on Conformant OpenGL 4.6 on the M1
Great for conformance!

What about performance?

miga··on New bill would let defendants inspect algorithms used against them in court
Expert without access to algorithm may tell only so much.

They may analyze statistics behind answers, which is often costly.

But they may find it hard to prove that the bias is due to negligence.

miga··on New bill would let defendants inspect algorithms used against them in court
Because this is counter-accusation.

If judge has all reasons to believe in fairness of the algorithm, then counter-accusation is the only way through.

miga··on Tesla worker killed in fiery crash may be first 'Full Self-Driving' fatality
Whether it is "half-baked", or not: how many driving hours passed before the first fatality?

How do they compare to human driving hours per fatality?

miga··on I moved my blog from IPFS to a server
Did you try FileCoin instead?
miga··on Senator Wyden Letter Confirms NSA Is Buying US Persons' Data from Data Brokers
While upsetting civil rights, one cannot leave commercial data brokers unmonitored by agencies.

If only because they should be able estimate risk of and prevent criminal activity on home soil.

miga··on OpenAI scrapped a promise to disclose key documents to the public
As AI becomes viable business, OpenAI becomes less and less open.

Since open source has been a successful business model in software, we might see another closed vs open battle in AI: Facebook and Google publish their models open source now.

Page 1 of 11Next →