spawarotti

6 ms·

1.
by spawarotti 8d ago
I think plenty of the most intelligent people eat meat, which means they are perfectly fine with harming less intelligent species just to enjoy a tastier meal. Also, I don't think many of the most intelligent people would be particular
2.
by spawarotti 1mo ago
I am still curious: when is it acceptable to hope that something is actually going to work well enough when handed over to the government?
3.
by spawarotti 1mo ago
I am still curious: when is it acceptable to hope that something is actually going to work well enough when handed over to the government?
4.
by spawarotti 1mo ago
> is never followed up with a “yes, but …” (realistic evaluation of how politics actually works). OK, but following this logic, shouldn't we disband the government altogether and have mafias rule us all? When is it acceptable to hop
5.
by spawarotti 6mo ago
There is at least one startup doing it already (I'm not affiliated with it in any way): https://promptless.ai/
6.
by spawarotti 11mo ago
Smartness and happiness are like test coverage. If you are not smart or have no tests, you will not be happy. If you are smart or have high test coverage, you may or may not be happy.
7.
by spawarotti 1y ago
There are two types of people: those who do backups, and those who will do backups.
8.
by spawarotti 1y ago
At this point AGENTS.md is a README.md with enough hype behind it to actually motivate people to populate it with contents. People were too lazy to write docs for other people, but funnily enough are ok with doing it for robots. This situat
9.
by spawarotti 1y ago
And a related page, in the other direction: https://www.futuretimeline.net/
10.
by spawarotti 2y ago
Very good online course on debugging: Software Debugging on Udacity by Andreas Zeller https://www.udacity.com/course/debugging--cs259
11.
by spawarotti 2y ago
Great advice. I follow it in my coding efforts and it has never failed me. Great book about this: Unit Testing Principles, Practices, and Patterns, Vladimir Khorikov, 2020 https://www.manning.com/books/unit-testing
12.
by spawarotti 2y ago
How do you deal with serializing properties "by reference"? E.g., if 3 objects reference object "Foo", then Foo is serialized once instead of being duplicated in the json 3 times?
13.
by spawarotti 2y ago
I am especially excited for the Smart ComboBox: https://devblogs.microsoft.com/dotnet/introducing-dotnet-sma... In general, I see the idea of semantic matching instead of textual matching as one of the great, pragmatic
14.
by spawarotti 2y ago
Jake, I just read the blog post you shared. I loved it. The message and the writing style.
15.
by spawarotti 3y ago
Currently some programmers, and with time more, have to write, integrate and debug LLMs, hence for the programming to end, other LLMs would have to be able to do so, too. LLMs successfully modifying other LLMs is, like, singularity. In othe
16.
TypeSpec: A new API definition language from Microsoft(typespec.io)
5 points by spawarotti 3y ago|1 comments
17.
by spawarotti 3y ago
From the page: Describe your data up front and generate schemas, API specifications, client / server code, docs, and more. With TypeSpec, remove the handwritten files that slow you down, and generate standards-compliant API schemas in
18.
by spawarotti 3y ago
At a first glance this looks to me to be the same concept as "The Heptagon of Configuration": https://matt-rickard.com/heptagon-of-configuration
19.
by spawarotti 3y ago
Truer words have never been spoken. Microsoft IntelliTest (formerly Pex) [1] is internally using Z3 constraint solver that traces program data and control flow graph well enough to be able to generate desired values to reach given statement
20.
by spawarotti 3y ago
> but what these people often need is someone to sit with them for a significant amount of time and demonstrate how one breaks a problem down, builds small pieces that demonstrate functionality and then put those pieces together into a s
21.
by spawarotti 3y ago
Thx, nice explanation. I think possibly Mercurial actually stores only the diffs, but I am not sure.
22.
by spawarotti 3y ago
One generalization of this concept I see is: Instead of having a sequence of successive states, you only need the initial state and a function telling you how to compute the next state from previous one. You can also see a connection to a v
23.
by spawarotti 4y ago
That's what I was thinking, too. Perhaps we already know majority of what there is to know, when it comes to fundamental concepts? Probably plenty of work left in improving our tools and engineering solutions, like machine learning-bas
24.
by spawarotti 4y ago
According to [0] the toll of civilian deaths is 9% not ~90%: > The 542 drone strikes that Obama authorized killed an estimated 3,797 people, including 324 civilians.
25.
by spawarotti 4y ago
> I define a few test cases and the AI writes code for a generalized solution How about the AI never writing any code, just training "mini AI" / network that implements the test cases, of course in a generalized way, the w
26.
by spawarotti 4y ago
This situation reminds me of low-background steel: Low-background steel, also known as pre-war steel, is any steel produced prior to the detonation of the first nuclear bombs in the 1940s and 1950s. Typically sourced from shipwrecks and oth
27.
by spawarotti 4y ago
This article reminds me of "The Church of Interruption", the best short article I ever read about communication styles: https://sambleckley.com/writing/church-of-interruption.html
28.
by spawarotti 4y ago
https://archive.ph/V9ALy
29.
by spawarotti 4y ago
How long will the fuel last? Sabine Hossenfelder references studies in which we have enough Uranium for 50 years max. 6:08 here: https://youtu.be/0kahih8RT1k
30.
by spawarotti 4y ago
Why not instead use one of the popular programming languages (C#, Java, ...), possibly with some dedicated library built on top of it? Also, reminds me of the Heptagon of Configuration [1]. [1] https://matt-rickard.com/hepta

More ›