HNHacker News
TopNewBestAskShowJobs

konstantinua00

143 karma · joined October 5, 2023

submissionscomments
konstantinua00··on Resizable structs in Zig
...what are you talking about?

array-like storage with dynamic size has existed since forever - it's vector. over or undercommitting is a solved problem

VLA is the way to bring that into type system, so that it can be it's own variable or struct member, with compiler auto-magic-ing size reading to access members after it

konstantinua00··on Graphene OS: a security-enhanced Android build
no, correct analogy would be

vendor: "we present 100% electric car"

we: "that's cool, I always wanted to decrease petrol use. But... can you provide an option for some petrol use? It's called hybrid, iirc?"

vendor: "no, our requirements only support 100% electric car. Hybrid cars use petrol and we can't allow that"

we: "suuure, I get that. But the price of electricity here still hasn't come down, everyone already has personal petrol reserves, and your cars are only provided with batteries from congonese child labor mines. Can we pleeease have the half-way option so that I can use less petrol for e.g. small distance travel, but still using petrol for country-sized movement?"

vendor: "no, we only support 100% electric car. Everything smaller is outside our requirements"

Real economics would've provided competition to fullfill demand - but currently Graphene is the only well-known vendor, so complaints will keep coming

konstantinua00··on Graphene OS: a security-enhanced Android build
there are smaller security options
konstantinua00··on Resizable structs in Zig
one thing I never understood about VLAs - discussion about them always hits a "can't put it on stack safely" and gets halted, forever

why not to make it heap-only type? it seems such a useful addition to type system, why ignore it due to one usecase?

konstantinua00··on Graphene OS: a security-enhanced Android build
> The other devices don't meet the criteria

you got it wrong way around

the CONSUMER criteria is "we want better independent security ON DEVICES WE ALREADY OWN"

complaints like in this thread are symptoms of unfullfilled demand - and they can't be solved by saying "oh gosh, what a stupid demand that doesn't agree with our supply"

konstantinua00··on Graphene OS: a security-enhanced Android build
4-5 versions of the same phone in the gigantic sea of possible devices
konstantinua00··on In the long run, GPL code becomes irrelevant (2015)
iirc, some kubernetes library under BSD

microsoft spent a lot of time asking questions to the author - and then rolled out Azure copy of the lib

author went public "how dare they use me like that" - but he did make it BSD himself, it's his problem

konstantinua00··on “Bypassing” specialization in Rust
aka that's what read-only is for write?
konstantinua00··on C++ Trailing Return Types (2022)
I prefer to never use it

C and C++ are about types before names - and modifying that is simply a change for the sake of a change, needless and useless. There's a lot of education enertia behind it - and effort should be spent on fighting what matters (like smart pointers), not hip/non-hip declaration style

decltype(a*b) is the only good "escape hatch"-type excuse for it, but idk why everyone make such a big deal out of it - when was the last time return type was both unpredictable AND needed to be specified? by that point you're already too deep

konstantinua00··on "Bypassing" Specialization in Rust or How I Learned to Stop Worrying and Love F
can't it be solved by negative traits?

isn't the problem that rw is still r, so passes checks for both?

can't you make one rw and the other r(-w)?

konstantinua00··on In the long run, GPL code becomes irrelevant (2015)
using BSD/MIT licences is like betting against black swan event

sure, "contributing is cheaper than maintaining a fork" is true most of the time - but the moment new Microsoft comes in with "embrace, extend, extinguish" (or just copy and change), you're doomed

and heck, we had that exact thing happen last autumn, iirc - making big news on this website

konstantinua00··on Fully homomorphic encryption and the dawn of a private internet
why would latency matter if the trading we're talking about isn't high-speed?
konstantinua00··on Mammals Evolved into Ant Eaters 12 Times Since Dinosaur Age, Study Finds
how many times things evolved into sharks?

ichtiozaur, dolphin/orca

anything else?

konstantinua00··on NIST ion clock sets new record for most accurate clock
there is no true value, so it's not accuracy

it's precision

konstantinua00··on NIST ion clock sets new record for most accurate clock
that's the argument, yes

no net force, but net potential energy - thus gravitational dilation

konstantinua00··on Astronomers race to study interstellar interloper
yeah, my first thought was "can we not bring bad omen with the word interloper into this?"
konstantinua00··on The radix 2^51 trick (2017)
this isn't UB, and any other language can do this optimization as well

even the one you cult over

konstantinua00··on What's working for YC companies since the AI boom
what does YC mean here? Y combinator?
konstantinua00··on Possibly a Serious Possibility
9/12

3 months have passed, 9 to go :)

konstantinua00··on Possibly a Serious Possibility
"common" has such a large spread because meaning behind it is sort of "at least one in each sample", where that sample can be anything (graspable)

if you're a teacher and one student per class does the same thing - it's common. Even though it's only 1/25 or 1/30 of all students

konstantinua00··on Mines: A simple mine puzzle game inspired by classic minesweeper
can't zoom in on mobile :/
konstantinua00··on Standard Ebooks: liberated ebooks, carefully produced for the true book lover
Forbidden You don't have permission to access this resource.

thanks for being open ...I guess

konstantinua00··on ESO telescope captures the most detailed infrared map of the Milky Way
so if every star smokes a cigarette, there will be roughly 1 mol (6.02e23) of said particles?
konstantinua00··on Possibly all the ways to get loop-finding in graphs wrong
how is it different from the "sidewalk" algo in the article?

you'd get the same pitfall of torus topology with 2 perpendicular loops

konstantinua00··on Possibly all the ways to get loop-finding in graphs wrong
it is interested in both
konstantinua00··on Possibly all the ways to get loop-finding in graphs wrong
how does it work on DAG?

I always thought it's a linked list algo

konstantinua00··on 17-year-old student exposes Germany's 'secret' pirate site blocklist
why was it kept secret?
konstantinua00··on The Microsoft Excel superstars throw down in Vegas
what does MID do?
konstantinua00··on I found a 55 year old bug in the first Lunar Lander game
speaking of speaking past each other

> and then replace one of the subsequent 200 lbs/second inputs with 199.99999999 lbs/second

> replace one

indeed not the last one, but no, not "all"

konstantinua00··on I like the RP2040
he said?
Page 1 of 3Next →