nudpiedo

5 ms·

1.
by nudpiedo 2mo ago
And the word from arabic comes, for both of them comes from persian for hte term lapis lazuli (lāžward) and suposedly this comes from sanskrit... but I ignore how it may sound in sanskrit.
2.
by nudpiedo 2mo ago
In this case it does by hitting hardware maximum. It scales until the max it is possible, due the bottleneck being in the hardware, not in the database or i/o. Check the article again: > At maximum throughput, Postgres CPU is fully
3.
by nudpiedo 5mo ago
There are Static code analyzers which already would have detected that. And these were also automatic. Looks very likely that the team didn’t give a damn about top basic security and good practices. Like a house made of paper wouldn’t be an
4.
by nudpiedo 6mo ago
> Misconception 1: specification documents are simpler than the corresponding code Anyone who studied software engineering, should know that specification doesn’t bother with implementation details of the underlying technology. Things su
5.
by nudpiedo 7mo ago
So in a couple of years we will have de MacBook Neo Neo? I think they got just cheaper marketing since jobs died. No focus or brand protection.
6.
by nudpiedo 7mo ago
I often want to try, but never get the time, aren’t you missing packages and solutions out of the shelf and ready to use?
7.
by nudpiedo 7mo ago
This was AI generated right? And saying that in 2010 Linux was complex and needed to compile everything across virtual machines for cloud solutions and that socket solved that… really in what universe people lived? Docker made convenient di
8.
by nudpiedo 7mo ago
All the issues you mention are about uncertainty. Uncertainty is one of the largest perceived threats by the human brain, it’s normal you feel it like a threat, it can even cause you anxiety and force you to take severe and unnecessary deci
9.
by nudpiedo 7mo ago
They will wish that you use an official API, follow the funnel they settled for you, and make purchases no matter how
10.
by nudpiedo 7mo ago
I get where you come from, but really needs it to be a whole SQLite instance per database? Wouldn’t be more efficient just logic separation in a larger DB? Better usage of resources and it always allows a parent style agent do complex queri
11.
by nudpiedo 7mo ago
Literally the first line of the link: “The current interface was designed for internal use in Lean and should be considered unstable. It will be refined and extended in the future.“ My point is that in order to use these problem provers you
12.
by nudpiedo 7mo ago
I like a lot of the idea behind such theorem provers, however, I always have issues with them producing compatible code with other languages. This happened to me with idris and many others, I took some time to learn the basics, wrote some
13.
by nudpiedo 7mo ago
Are you an AI just summarizing the article?
14.
by nudpiedo 8mo ago
I think the only people who burnt of the discussion were people who is terminally online. But in the industry, there is people in any paradigm with any previous development times you can remember of. > Is there any formal language that i
15.
by nudpiedo 8mo ago
And also with Ada which would be even safer. And the same it is for me... we all got trained in skills are slowly going to fade away.
16.
by nudpiedo 8mo ago
Serious question: why won’t JUST use SELinux on generated scripts? It will have access to the original runtimes and ecosystems and it can’t be tampered, it’s well tested, no amount of forks and tricky indirections to bypass syscalls. Such r
17.
by nudpiedo 8mo ago
It was better because it had no silent errors, like 1+”1”. Far from perfect, the fact it raised exceptions and enforced the philosophy of “don’t ask for permission but forgiveness” makes the difference. IMHO It’s irrelevant it has a slightl
18.
by nudpiedo 8mo ago
Same thing applies to other system aspects: compressing the kernel loads it faster on RAM even if it still has to execute the un compressing operation. Why? Load from disk to RAM is a larger bottleneck than CPU uncompressing. Same is applie
19.
by nudpiedo 1y ago
No one thought juniors would be more benefited than seniors. St some people some said everything would be automatic and seniors would disappear altogether with programming itself. But that was just said by crappy influencers whose opinion d
20.
by nudpiedo 1y ago
This might depend on where you live and the kind of business… last time I made an Unmeldung online I needed to call after a week waiting and they literally told me that in person would be solved the same day. And it was.
21.
by nudpiedo 1y ago
Same as many, I had wonderful experience with F# in the past, I would use it again if: - fable would 100% detach from dotnet - keeps up yo the LLM rush, specially vibe coding on cursor Last LLM experience it generated obsolete grammar (not
22.
Google removes pledge to not use AI for weapons, surveillance(cnbc.com)
10 points by nudpiedo 2y ago|1 comments
23.
by nudpiedo 2y ago
Wow, thank you so much, that was 11 pages full pages. I will be a bit critical with it hoping my review helps you as well, since to me, it was very friendly and useful your offer (also I wonder if you can still do 99 more reserachs like thi
24.
by nudpiedo 2y ago
Thanks for the offering, seriously, it is an important investment/cost I wasn't sure it would be worth right now. (If you wish to I added some contact information, for an easier chat, in my HN profile; just for the following day).
25.
by nudpiedo 2y ago
I wish to know how to access it for myself, but how may I contact you? is it chatGPT Plus, Pro or something else? Where are you based UK or Germany? I was hoping for a market research on SysML tooling.
26.
by nudpiedo 2y ago
if it would make whole market research on products and companies I would gladly pay for it... but a bit unsure from Europe where it seems to be everything restricted due political boundaries.
27.
by nudpiedo 2y ago
Today I wasted 1 hour looking in how to use or where to find "Deep Research”. I could not. I have the business workplace standard, which contains the Gemini advance, not sure whether I need a VPN, pay a separate AI product, or even pay
28.
8 months to find out the node-gRPC memory leak(github.com)
2 points by nudpiedo 2y ago|0 comments
29.
by nudpiedo 2y ago
so if I understand this right, it could be a way to run scheme on esp32 and similar microcontrollers, isn't it? Also its small size would make it a perfect target to compile to typescript/deno/wasm without rejecting the s-exp
30.
by nudpiedo 2y ago
I guess faster reaction times might have been decisive for many early startups. Nowadays is another story because everyone does and cargo cults are in place.

More ›