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 Cardano DApp Tutorial from StreamCardano
StreamCardano tutorials for TypeScript and React dApps on Cardano. It includes updating the state using StreamCardano server, and tracking bugs with Sentry.
miga··on NASA solved a $100M problem for five bucks (2012)
1. Does the solution includes pay for the people to think?

2. Does it include opportunity cost of waiting for the 5$ solution?

3. Does the cost include extra prototyping and engineering time?

The title of the article is a lie based on misunderstanding of engineering.

After all engineering is done, the __remaining cost__ is the same as bill of materials...

Until you need to update the system with new components. And rockets made by NASA are made in few copies... so the Non-Recurring Engineering cost dominates the whole business.

miga··on Ask HN: Suggestions for a Capability Based Security rebranding push?
System Entry Ticket or just "ticket".
miga··on Sam Bankman-Fried's secret 'backdoor' discovered, FTX lawyer says
SBF may have made mistakes or even committed fraud, but it is concerning that bankruptcy attorney does not seem to focus on recovering the value of the assets.

If FTX US was liquid, this action has brought down another company...

miga··on What happens when a CPU starts
It describes old 8-bit machines. New machines start by executing instructions firmware ROM or in cache memory before RAM is tested and initialized.

Additionally the reset registers differ by the platform. (Some platforms expect software to initialize and reset some registers.)

miga··on Ask HN: Strategies for working with engineers that are too smart?
There is not such person as "too smart engineer". Picking too much on their plate may be compensated by positive reinforcement when the task is complete. Adding too much complexity to systems suggests that they are not smart enough to understand it makes extra difficulties for no gain.

Inconsistent style suggests they did not learn that most of the coding is about reading the code after it was written. Possibly they quickly write and copy&paste code, and do not need to debug it since it "worked once".

If they tell something others can hardly understand, and they are unable to explain it, then your engineers need to learn proper writing and explaining skills.

All in all, you probably need smarter engineers to manage the team.

miga··on Surprising Consequences of macOS’s Environment Variable Sanitization
Can you use linker to hardwire build directory for this case?
miga··on Breaking RSA with a quantum computer?
It is fair to say, that in security assessment you estimate lower bound on complexity of hacking.

Schor proved upper bound.

miga··on PostgREST – Serve a RESTful API from any Postgres database
Haskell repositories have SQL parsers aplenty, some BSD3, at least one MIT-licensed: https://hackage.haskell.org/package/queryparser

Maybe pick a language that has better libraries for language parsing and analysis?

miga··on PostgREST – Serve a RESTful API from any Postgres database
SQL `SELECT`-only API is a stateless API.
miga··on PostgREST – Serve a RESTful API from any Postgres database
Postgres can limit queries to only given number of milliseconds.
miga··on Added 49 volumes of Arkansas, Mississippi, and Tennessee law
It feels that discontinuance of electronic proceedings runs contrary to principle that law should be openly available and transparent. If not in the letter, then in the spirit.

Why nobody raised this with SCOTUS?

miga··on NIST is announcing that SHA-1 should be phased out by Dec. 31, 2030
Then why does NIST warn that we might need PQC algorithms by 2035?

Or is this claim ignoring progress of quantum computing?

miga··on NIST is announcing that SHA-1 should be phased out by Dec. 31, 2030
It would be safer to forbid broken hashes after certain date, and consider only those earlier hashes that have been counter-signed by new algorithms.
miga··on NIST is announcing that SHA-1 should be phased out by Dec. 31, 2030
There is Post-Quantum Cryptography competition, with three e-signature algorithms selected for standardization: https://csrc.nist.gov/projects/post-quantum-cryptography

Given that NIST itself warns PQC algorithm may be unsafe after 2035, this should be considered SHA-4.

miga··on NIST is announcing that SHA-1 should be phased out by Dec. 31, 2030
That is date after which purchase of _new_ software with SHA-1 will be forbidden, which seems late given that it takes only two months on GPU to find signature collision with a chosen prefix.

Sounds like the deprecation schedule is too slow and unsafe.

miga··on FTX used corporate funds to purchase employee homes, new filing shows
Employee loyalty programmes are common among tech. Considering the cost of hiring, and retraining employees. Do not forget about security.
miga··on Streamcardano.com API Tutorial
StreamCardano.com serverless Cardano application backend has published first API tutorial.

Wonder if you like the approach?

miga··on Streamcardano.com Enters Closed Beta
StreamCardano is a serverless platform for building frontend apps that monitor blockchain live.

They entered closed beta and offer developer keys to all interested dApp developers.

miga··on Show HN: Structpad: notepad-database hybrid that helps you use abstract thinking
The visuals are nice, but I found the example insufficient to proceed.
miga··on Gödel’s first incompleteness theorem – an interactive tutorial
Most useful proof-of-work yet...

However, it is somewhat hard to mathematically define all criteria used to recognize *useful* theorem.

There may be many propositions that are true, but cause no excitement among mathematicians.

miga··on Gödel’s first incompleteness theorem – an interactive tutorial
Trying to find a formal system that encodes unbounded infinitary mathematical objects including most of maths, but yet to require that all statements are decidable within a finite number of steps...

Is it contradiction in the proof, or rather a contradiction in assumptions?

More on logic that permits all that *Bounded* Turing Machine does: https://arxiv.org/abs/2106.13309

miga··on Gödel’s first incompleteness theorem – an interactive tutorial
The assumption of this theorem is that we may encode any problem that is unbounded and infinite. What if we limit ourselves to *bounded* and *computable* functions only?

See draft presented at many top logic conferences yet: https://arxiv.org/abs/2106.13309

Since the observable universe is bounded, and we are most interested in computable, why not to focus on maths that is most relevant to our universe instead of infinitary alternate?

miga··on OpenAPI Generator allows generation of API client libraries from OpenAPI Specs
If you want to generate OpenAPI specs from HTML web pages, see here: https://www.migamake.com/projects/hurl.html
miga··on An answer to: why is Nvidia making GPUs bigger when games don't need them?
Did you try playing at 8k with top-of-the-line graphics card? Did you ever see 60FPS on the highest level of detail? Did you ever want 240FPS to avoid artifacts during fast action game? Did you ever wonder how many graphics card are needed for the three-monitor setup? Did you ever want a ray-traced action game?

All these questions need much more powerful GPUs than current top-of-the-line. And game makers know that better graphics often sells the game.

miga··on PayPal’s updated acceptable use policy [pdf]
Can it happen that there is no competent court to rule? When Luxembourg CSSF or court claims they are not competent, that means the case should revert to your location.
miga··on At $249 per day, prison stays leave ex-inmates deep in debt
Turkish prisons are famous for abuses: https://stockholmcf.org/gross-human-rights-violations-contin...

Better example would be Norway or Netherlands: more expensive prisons, but least prisoners per capita: https://www.dutchnews.nl/news/2014/04/the_netherlands_has_ex...

The point of prison system should be rehabilitation not keeping prisoners down for life.

miga··on US approves Google plan to let political emails bypass Gmail spam filter
The need for the bypass indicates what is wrong with political marketing: too low standards, too much disinformation.
miga··on Learning algebra in my 60s
Probably yes, since past research indicates that learning delays cognitive decay.

Even more, there is research pointing that continuous learning will prolong your lifespan. Best indication is a study on how university professors tend to live longer.

miga··on Ask HN: Which coordinate system is better for a beginners programming language?
Depends on your audience.

If your audience consists mostly of programmers, use top-left they are familiar with.

If your audience is familiar with primary school math, choose their coordinate system: bottom-left.

It is just convention that is consistently kept within the certain community. I would advise against any convention that is unused in your community.

← PreviousPage 4 of 11Next →