dekimir

Eric Ries gives more examples and some excellent commentary on this here: https://www.youtube.com/watch?v=PoJ1vTdHpks

> any serious legal situation (like a contract) is going to want a human in the loop to verify that the translation is actually correct

I hope you're right, but when I think about all those lawyers caught submitting unproofread LLM output to a judge... I'm not sure humankind is wise enough to avoid the slopification.

If you do that, I can update postgres-searchbox [1] to use it for better frontend experience.

[1] https://www.npmjs.com/package/postgres-searchbox

I still can't figure out how pg_trgm is supposed to work for multi-term searches and how to ensure the dictionary table it needs stays up-to-date. Is there a good writeup somewhere?

Me too. Probably the way of the future. Each of us could run a little personal scraper, and the Twitter servers wouldn't know the difference.

For personal consumption, one can always scrape one's feed[1]. I wonder why more of us don't do it.

[1] https://twitter.com/feedliness/status/1638580147304505349?s=...

Doesn't that ensure that the most desirable employees leave and the least desirable cling on?

Because remote work was the only work in 2020 and 2021, yet a large majority of businesses continued to function mostly well. Some even exceeded their average results.

I know, right? I thought COVID proved definitively that remote work is not just possible but equal to in-office work. I really want to understand the counterarguments, but all I see is oblique assertions like "true creativity requires body language." I'm keeping an open mind, and I acknowledge that in-person chat features much higher comm bandwidth than video chat, but I'd like to see a well-reasoned explanation of what exactly a business loses by allowing its employees the freedom to manage their time and workstation setup.

"There is simply no way that true collective creativity can be consistently generated in not-so-splendid isolation.”

"I think every successful CEO, including myself, is tired of all the whining"

Don't know why you're getting that, the link works for me from multiple different browsers.

> My guess is their voice, sms etc all are IP these days which was impacted by their BGP issues.

Impacted, yes. But "no service"? That's dubious.

I hear you on foreign SIM working. I got online at a cafe just long enough to buy a Yessim eSIM. When I activated it and turned on data roaming, I had LTE working on... the Rogers network! That I didn't expect.

Yes, exactly. BGP withdrawal is likely a symptom, not the cause.

How does that relate to the Rogers cell service outage, though? Surely SMS doesn't require BGP?

It feels like there's a big, fundamental problem affecting a variety of Rogers infra, where BGP and cell problems are just symptoms we can observe. CloudFlare says it looks more like a failure than an attack; I'm not entirely convinced.

rqlite is not embeddable, making it harder to colocate data with computation. This post explains it: https://glaubercosta-11125.medium.com/728187331f53

> In memory provides real-time transactions you can't guarantee when using disk-based storage.

This is changing as we discover better ways of coding IO operations.

https://www.globenewswire.com/news-release/2019/11/05/194114...

https://itnext.io/modern-storage-is-plenty-fast-it-is-the-ap...

Oh! Well, I'm embarrassed... ^_^

Makes much more sense now, thanks.

> but remote is difficult for complex projects

A bit difficult, yes, but far from uncommon. Witness Linux, Scylla, RedHat, GitLab, Firefox, WordPress...

I'd find it more convincing if you've been living in, say, Lisbon and charging Seattle prices. If I were hiring devs in Seattle, I'd be delighted to pay them EU wages.

Another annoying breakage in Sway is Android Studio. Submenus appear in random places on the screen even with _JAVA_AWT_WM_NONREPARENTING=1.

> you should be prepared for your results to be never-consistent

Isn't this a core feature of distributed systems? How can you be "consistent" if there's a network failure between some writer and the stream? How can you tell a network failure from a network delay? How can you tell a network delay from any other delay?

And finally, how can you even talk about "up-to-date" data if the reader doesn't provide their "date" (ie, a logical timestamp)?

This explanation is so brilliant that I created a short URL pointing to it: https://cutit.org/AJCFS

> it's not clear to me why GLSL-to-SPIRV would be so slow. Would be great to hear back from Google.

Off the top of my head:

- glslang supports all previous GLSL versions and profiles, which adds many checks and corner cases throughout the code

- it's tricky to generate correct SPIR-V; for instance, it took me a while to properly understand the constraints around basic-block ordering

Disclaimer: I left Google in 2016 and haven't looked at glslang/shaderc since. I am only offering personal opinions here.

Can you actually train a torch::jit::script::Module? I couldn't figure out how to feed its parameter tensors to a torch::optim::OptimizerBase constructor...

Hm, the Mac version of LibTorch is suddenly unavailable!? [0] I swear it was available for download until a few days ago...

[0] https://pytorch.org/get-started/locally/

Is there a good writeup somewhere on how the phone apps you mentioned prevent tampering? I'd be super-interested in reading it.

Alternatively, are you available for consulting on the topic? I couldn't find any contact info in your profile. :(

But how exactly does Dan propose to add coverage "guidance"? Here's what he says:

"Since Zalewski has already done the work of figuring out, empirically, what heuristics are likely to exercise more code paths, it seems like a waste to ignore that and just generate totally random values."

Dan does, in fact, explicitly suggest "using fuzzing-like mutators", as you put it, in QuickCheck's random value generator. But those mutators work on continuous file contents, not on a bunch of disparate parameter values generated at distinct moments in the program. An early version of RamFuzz tried to apply AFL to the log file recording all generated random values, but all that yielded was invalid logs that couldn't be replayed. I don't know how else one would leverage Zalewski's heuristics in a random-value generator, though I'm obviously open to suggestions.

The previous submission's title does mention C++ ;)

https://news.ycombinator.com/item?id=15789033

As I explain in the RamFuzz overview paper [0], Dan Luu's idea is unlikely to work because fuzzing uses mutation techniques developed for file input, not individual parameter values. What does seem to work is frameworks like EvoSuite and eToc, which mutate method-invocation sequences to try and maximize coverage.

And yes, QuickCheck (or RapidCheck[1], for C++) is what you need if you enjoy manually specifying your test inputs. RamFuzz is a tool to support research into automating that and, eventually, the entire process of writing unit tests.

[0] https://github.com/dekimir/RamFuzz/blob/master/sci/ramfuzz.m...

[1] https://github.com/emil-e/rapidcheck

I was thinking the same thing -- if you don't go for the kill, but someone else does, they'll likely end up deciding your fate for you. That doesn't exactly "optimize for happiness".

OTOH, what would you do with that valuation delta that working yourself to the bone would hopefully bring? Would it adequately compensate you for missing the children's birthdays or Paris with your SO?