skysight-inc/HackerNews huggingface dataset:
Nice to see Sean cite Fil-C, though he does it much more in passing than it deserves, considering that Fil-C gives you memory-safe C and C++ without requiring any annotations whatsoever. He cites it as a sanitizer and references undefined behavior, which isn't really how I would describe it (unlike a sanitizer, it catches all memory safety bugs, and also unlike a sanitizer, it turns a lot of what would have been UB in C++ into defined-but-safe behavior). It's a very different approach from Sean's.

For example, Circle implies broad overhaul to tooling and libraries while Fil-C implies no such thing. Also, Circle is all about not using existing compilers on the grounds that they are hard to experiment with, while Fil-C is a surgical change to clang/LLVM.

The main advantage of Circle over Fil-C is that if you pay the cost of that overhaul, you'll get performance that is better than what Fil-C could ever do even with a lot of optimization. Not obvious to me if that makes it net better, though.
> I dream of a system that automatically captures and allows me to interact with and query against everything I do

Well, I don't.

For starters, because not everything I do generates relevant information for me. All those hours spent surfing through random blogs or wikipedia articles, most news I read, or watching some random scifi series just isn't info that I will ever need to refer back to. It's just noise. Best case scenario, it's useless information that just bloats the database.

Alternative scenario: It messes with the results. Intelligence and statistics are not the same thing. So what if I read some scifi novel on my screen, and the content of that pages embedding just so happens to score higher to a future query than an actually useful document?

In my system, I decide what's relevant information and what isn't. Subsequently, when I use RAG on this, I use it on already curated data. That data is already having structure imposed on it, so it is accessible to me with our without the help of AI.

--------

Then there is also the whole issue about information that is simply too sensitive to store in my personal Wiki. For example: I would NEVER store my bank account details, or API keys in there, even though everything is encrypted. All passwords and similar information go into a separate system FOR A REASON; Single points of failure are bad, and this goes double in security.

Now, a system that takes a screenshot and runs OCR on everything? Cool. What if it does so when I am just running a testscript after setting a temporary envvar in preparation? I don't want that info anywhere outside of my password manager. And yes, this does matter, even if everything is stored locally.

--------

And, of course, we haven't even started on the whole issue of privacy, and how people will feel about a system that basically logs and stores everything the user does. It doesn't matter how useful it could be if people don't feel comfortable with it.
It works in practice. I've probably looked at over a thousand packages by now and haven't seen anybody do anything really weird.
Apparently some people keep being stuck in 1960, when Lisp 1.5 manual was published.

Since the 1980's that modern Lisps support all common data structures.
I think you're going about it backwards. You don't take a tool, and then try to figure out what to do with it. You take a problem, and then figure out which tool you can use to solve it.
The point is that if you fund transit instead of subsidizing cars in a hundred different ways, the buses will not be empty
Suggestion: Use Excel (or Google Sheets) and limit yourself to 1 table per worksheet.

--A Microsoft Excel Specialist, Expert, and Master
Tell me, how long other countries on the European continent fought Nazis?

>Europe and America made sure USSR won that war

That's funny, almost all of Europe fought along with Nazi with small exceptions like Greeks. And no one in Europe was in position to "make sure the USSR won the war"
Well if I want to write an OS in Fortran, BASIC, nodejs or even assembly, I think it is my choice. If you don't like it, just ignore it, I really don't see the beginning of a problem there.

I understand complaints in other contexts: for instance, if one sends tens of thousands of satellites or burns forests, the mere fact that they are doing it may bother me. But again: what do you care if somebody writes a software project in a language you don't like?
The Floating Traffic Jam That Freaked Us All Out
Care to share your Vector implementation that is "stack safe" and "UB safe"?
We found these ideas very useful for doing micropatches, post hoc intrafunction binary patches, using off the shelf compilers. At the least, a voice of support that these kinds of calling convention control is useful.

- Copy and Micropatch: Writing Binary Patches in C with Clang preserve_none https://www.philipzucker.com/permutation_compile/

- https://github.com/purseclab/Patcherex2/pull/31 A pull request to the PatcherEx2 library
Makes you wonder what limitations of our own language and culture are preventing us from inventing certain things?
!remindme 10 years.

I don't think folks wait for v1 to start GUI projects.

And regardless if we're talking specifically about GUI or not (original parent wasn't):

> ...reinvent the wheel in some package to lay claim, and then abandon it when its 70% there once they get bored...

I think Rust is too niche to appeal to the masses and the community suffers from a RiR syndrome that tends to produce less than high quality projects on average. Because delivering high quality v1s takes a lot of effort and sweat. It is not fun.
I mean, most western governments have consumer product safety organizations that exist for this reason (and all of which have existed longer than Shein), so I'd have expected that they would have been doing testing this whole time. I think it would be remarkable if the unsafe products were an extremely recent phenomenon.
He’s right, though. There are as many if not more lifetimes saved in aggregate.

You make a decision to get into the car with eyes open and most people are okay with the deal & the odds.

I have a feeling your response is because you’ve lost someone, so sorry about that. Life ends up more or less as a shit lottery and sometimes you get lucky (unlucky)
>A non-American buyer could also be a solution, again from my perspective.

Read: EU-region buyer.

The first things I thought is if TikTok gets bought by a Japanese or Russian company. ByteDance probably would try to make a Sino-Japanese geopolitical scene out of it, while having it bought by Russians would raise Russian propaganda eyebrows.
For sure, there are cases in which a PWA focus is to add offline support, and you are totally right there.

However, I will argue that 80% of PWA exist to have proper push notifications, or faster development than native.
I’d imagine 16 hours is a low estimate if OP wants to retain formatting.
I’m impressed with how thorough this is! It’s cool insight into the dev conference experience.
> there are multiple open-source implementations

No. Signal locks not not just third party software but also builds of their own "open source" code via timebombed forced updates. It's somewhat impractical to use signal except via blinding accepting updates from them.

As a result every signal user is sadly quite vulnerable to getting pushed a bad update, particular since app store policy changed to require the app store itself being able to sign updates.

Signal could mitigate this by allowing third party clients and/or not timebombing support.
You might argue that 'not existing' in general does not even exist.

It reminds me of the ted ex talk where a man states that the universe does not exist because it is everything and if we would make a list of everything, the list would not be included as a topic of the list.
Research malware repository vx-underground flagged as phishing by Cloudflare
It was just to delay missile development as Chinese affaires were caught gathering information for non-scientific endeavors, anyone with half of a brain knows that China was going to do this eventually.
With an MMU, segfaults cause pretty abrupt and obvious failures for straying outside the heap or stack. Violating memory safety may cause subtle and unpredictable errors even in correct functions, which is a lot more dangerous.
Is there a general model that got fine tuned on these json schema/output pairs?

Seems like it would be universally useful.
Oh, sure, it was the poorly paid low level employees that bankrupted the company. It's not like they could be replaced with other poorly paid employees. We can always rely on thefp to come up with the most ridiculous explanation of current (or not so current) events.
Yes, you are correct. Sorry for misleading about that.

I saw some comments that due to the limited bandwidth of the relay satellite, these images were taken every second. So it is actually not a "video".
I think education is really a proxy for something else. It’s common for animals to stop breeding when the social and environmental conditions aren’t their ideal, even if they are healthy.
Ah, yep, that accounts for my sense that I was using this back in 2012! Thanks!
Well the bar is pretty damn low. There's nowhere I'd really feel safe letting an 8 year old bike to school.
The term "Memory safety" also heavily undersells what it actually implies in Rust.
It's true that some applications have input lag due to simply being slow to process input. But there are many applications that actually process input fast enough, but still have a lot of input lag because of various forms of buffering linked to frames. A typical scenario would be 1.5 frames of latency due to the desktop compositor, 2-3 frames due to buffering in the graphics API (graphics APIs optimize for throughput instead of latency by default), and 1-2 frames because the application state doesn't completely update on the same frame as the input is received. Ten frames would be unusually bad, but it can happen. It all adds up! And all of that is made faster by higher frame rates.

Properly made applications can bypass most of that latency but few bother to really optimize for it, so a systemwide fix is welcome.
Too bad, they could have made more money by selling NFTs of it :-).
Qasar M8 Digital Synthesizer
Are you sure about that?
what are the benchmarks it fails on when setup like-for-like with GPU drivers?
Even still, it can do constrained grammar and is really easy to setup with wrappers like Ollama and the Python server too. I struggled to find support for that with other inference engines - though things change fast!
Any more example where it needs to be a tradeoff? I've been very skeptical about the concept since first hearing it. Seems too good to be true.
It looks exactly like on the first Apollo photographs. Guess they must’ve hired Kubrick's students. Jokes aside, there’s just one light source on the moon, and no atmosphere to provide diffuse light. The dynamic range (contrast) of the moon is something we don’t see often on Earth.
I love Pomona SOIC test clips, the other cheaper ones off of amazon are garbage though. :) I find when flashing hardware you might have to try a few times and if you get a good read/write going don't move, don't breathe, don't do anything until it is done.
What the Google Algorithm Leak Means for Off-Page SEO
Does Outlook can even have opinions?
You think it comes from philosophy? This is like claiming our democracy comes from God, because he edictorially spoke through ancient kings!
>> “COVID-19 COULD have leaked from a lab” is perfectly fine.

IIRC -- in 2020 any mention of such an idea was met with accusations of racism.
GH Repo: https://github.com/ToonCrafter/ToonCrafter
No, my argument is that you lack even a rudimentary understanding what it is all about. You only need some curiosity and an open mind to get that. I’m certain there are something in Wikipedia that can help.
Improve Chrome power consumption on Linux by 15%
Just came out of a deep rabbit hole after wondering: “Why does my laptop get hot watching YouTube?"

Thought I share my findings, mostly to have an easy reference to information that is distributed between ArchLinux forum, Chromium docs & random SO posts.
Have you actually used DSPy? I still can't figure out what it's useful for beyond optimizing basic few shot prompts.
Interesting word usage: other countries antagonize China but no mention of China antagonizing anyone.

China is helping Russia fund their war in Ukraine. The EU cares a lot about that.

China has no regional dominance by the very fact Taiwan is still not part of China. What’s holding them back? The US. If China had regional dominance, the US would not be an issue.

It’s important to not ignore what China is doing in the South China Sea. It’s not a “political wind” when China is attempting to redefine another country’s maritime borders and the Philippine president mentioning acts of war being committed by China.
Based on username, probably.
>when i need a sofa, i want to be able to “just” get a sofa

Which is understandable, and also the whole problem. Everything that used to go along with getting that sofa, like the human interaction, is thrown out in the name of efficiency, and eventually we all end up locked in our houses with nowhere to go but our jobs.
Any intelligent criminal will just meet face-to-face to discuss their criminal activities. None of these apps protect against someone taking a photo of the screen and snitching to the authorities about what was said in exchange for less jail time.
Could you give me an outline as to how you managed to do that (presumably from Hungary)?
I'm not even sure 'everyone with an office job' had a computer. It certainly wasn't true 35 years ago. An office might have a computer or two, but not everyone had one, nor was everyone expected to use it.
"Paradox" and "dilemma" and even "problem" don't have as strong a meaning in philosophy as they do in colloquial English. In this context, the claim is essentially that a particular system of analyzing the truth of statements will incorrectly analyze this particular type of statement. The "paradox" is in the system, not in reality. The paper linked offers a solution for modifying one particular system so that it will correctly resolve the paradox.

The programming analogy would be that processing a particular type of data will often have hidden pitfalls for the most intuitive approach. It might be easy to avoid those pitfalls by modifying your program, but someone had to notice and document the problem and the workaround.
It would be nice if any NASA engineer could weigh in on why they used Linux for that Mars helicopter instead of an RTOS like mentioned above.

https://spectrum.ieee.org/nasa-designed-perseverance-helicop...
That space is usually filled by FreeRTOS, no?
There are other modern countries that have done worse to (and killed many more of) their own civilians.
> The last time the USSR lost 26 million people because of European invasion.

No - it lost them because it allied with Hitler in destroying Europe as it existed then. From the Winter War against Finland, to invading Estonia, Latvia and Lithuania, to invading Poland with Hitler and jointly holding a victory parade as the rest of Europe watched in horror. https://en.wikipedia.org/wiki/German%E2%80%93Soviet_military...
In the off-chance this is a good place to ask, how does a consumer (or, ideally, the existing governing body) fight back? I'll briefly walk through a hypothetical scenario to have something concrete to talk about, then ask about the normal alternatives?

Say you have an IoT device. It's marketed as a device capable of doing a task (e.g., scanning car OBD codes). That task can be done offline. The device initially does that task offline. The app had a backdoor, and the owning company used that backdoor to force logins on previously happy users. Later, they restrict functionality-which-could-be-completely-offline-and-used-to-work to people who pay for a monthly subscription, or maybe they go out of business or otherwise just decide to shut down the servers (see the recent Spotify debacle).

With that backdrop:

- The ToS usually ban class actions and require arbitration.

- The fraud in question is on the order of $20-$200 -- not worth being pursued for most people.

- The ToS are somehow magically invoked when you buy the product, regardless of whether you even saw a warning message suggesting that there might exist a legal agreement which you should read.

The usual outcomes are (1) you get a default judgement and are unable to exercise it because the company goes bankrupt or does some sort of shenanigan which requires a lawyer costing more than the damage in question (a common solution is spinning off a subsidiary owning all the bad debt and responsibilities, keeping the assets elsewhere, kind of like what Johnson and Johnson tried after the talc/cancer debacle), (2) despite the company's best efforts you get a class-action judgement, and the company settles for much less harm than they inflicted, happily pocketing the difference, (3) other more complicated and/or less desirable situations.

What does an individual do to limit their liability in a world where that sort of fraud seems to be condoned, and what options do we have as a society to reduce the overall problem?
There's a good number of them, although most aren't widely known outside of the embedded world.

Here's a list: https://www.osrtos.com/
For what it's worth, I mentioned HTMX to a Ruby developer friend, and his reaction was "oh, like Turbolinks", so I think the mindshare was probably there first. That having been said, HTMX is my preferred way of making dynamic frontends now. I've never been a React developer, but I've always found SPAs way, way overused.
Yocto Linux can be stripped down to the bare minimum for embedded applications. You can reduce your attack surface by a lot. The advantage of Linux on embedded is your new developers are up and running immediately. Something not possible with all the rest of os/rtos. Additionally lots of packages for diagnostic utilities like iperf etc are available even for obscure processors that run Linux. As long as battery life isn't a concern, let embedded Linux be an overkill, the advantages are just too great.
> and the compiler absolutely will not inform or warn you

False.

https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html#inde...

https://clang.llvm.org/docs/DiagnosticsReference.html#wmisle...
It was serverless from the start, although there isn't a whole lot of serverless unique code in it, apart from some event handler bootstrapping to handle SQS triggered Lambdas. Everything else is just standard .Net that would look the same no matter where it's hosted. Huge fan of separating infrastructure concerns from the rest of the app to not lock yourself in so much.
Seems to have vanished somehow. In short: person visits Greece, finds nasty Xmas baubles on sale among tourist items, mind boggles that people buy these and furthermore that there are enough sales to justify bringing them to Greece from China, postulates some logic like a 1000% profit per sale making it worthwhile even if only 20% ever sell.
Translation needs phonetic transcription to handle proper names. If there are words that may or may not be proper names depending on context, machine translation will guess the context wrong at least some of the time and phonetically transcribe what should be translated, or translate names that should be transcribed.

The problem also can also happen when translating from English, if you think about all the surnames that are occupations, or names like "bill" or "lily." Capitalization usually helps disambiguate, but there's title case and all caps and people who never capitalize anything...
Making intelligent decisions != predicting tokens. Current AI only resembles intelligence to those that don't understand it. It's a tool that should operate with the guidance of a human.
Livewire: Powerful, dynamic, front-end UIs without leaving PHP
What about https://f-droid.org/en/packages/org.smssecure.smssecure/?
Saving Black Friday with Connection Pooling
If you have discipline, probably none.

The difference is developer behavior that each framework encourages.

While htmx/turbo focus in just couple of helpers and then leave you with the full HTML/JS, in a react ecosystem you end having with 3 party components, and a state management system and build system that will change in 10 months. I don't say it isn't justify and that it have its pros, but it's a rabbit hole in my experience, where you easily end fighting with the framework than focusing on business.
This is one of those things that's going to be stuck in my head for a while. It's like the author gave me a hammer and now im going to go hunting for a nail.

It seems you can write to them as well... This seems much more magical than "Here is a link to a CSV, import the data yourself".
Because it's easy to work with. Even low end processors support it as long as they have an mmu.
Lua in Redis is not useful for serving as a runtime for running Lua application code; it's valuable for allowing you to perform a series of steps atomically. You can read and write data without worrying about something else changing: only one piece of code can write at a time. We use it for rate limiting, which requires reading and writing atomically, for instance.
Delivery Guarantees for Database Change Events
>> If it's presented as a possibility then it's not really news is it?

If it is presented as a possibility then it is a theory, right?

Slap the word "conspiracy" in front of the word "theory" and then you have a theory which can no longer be discussed in a reasonable manner.

An accidental bio-lab leak does not require any sort of conspiracy.
https://social.v.st/@th
I picked this up as a first reference as someone who had no knowledge in DSP and it was an absolute gem. Really helped with the mental model for sound processing. This repository has some amazing resources too: https://github.com/BillyDM/Awesome-Audio-DSP
Talkybotty – audio and video transcription using whisper.cpp and telegram
You can use Application Default Credentials (ADC) with Sheets:

https://cloud.google.com/docs/authentication/application-def...

You can:

PROJECT="..."
ACCOUNT="..."

# Add this value to your Sheet(s)
EMAIL="${ACCOUNT}@${PROJECT}.iam.gserviceaccount.com"

export GOOGLE_APPLICATION_CREDENTIALS=${PWD}/${ACCOUNT}.json

And then:

ctx := context.Background()

scopes := []string{
"https://www.googleapis.com/auth/spreadsheets.readonly",
}

opts := option.WithScopes(scopes...)
srv, err := sheets.NewService(ctx, opts)

Remaining code remains unchanged.

One omission from your post is that you will need to enable the Sheets service|API either using gcloud:

gcloud enable sheets.googleapis.com --project=${PROJECT}

Or by URL: https://console.cloud.google.com/apis/library/sheets.googlea...
FreeRTOS, and zephyr now
The article is shallow and offers nothing new. It reads like a very well written freshman essay. If you're impressed by offhand references to Derrida then you might enjoy it. The author also bizarrely says that AI can "only" do data analysis and hence isn't very useful. A dismissive characterization like, "it's only more efficient at handling spreadsheets", as if this isn't world shattering on its own.
The term "scientific method" is itself a philosophical term (as is "method" in this context). Read, or even skim, this and notice how many of the important figures listed were philosophers:

https://en.wikipedia.org/wiki/History_of_scientific_method
but see also https://nsarchive.gwu.edu/sites/default/files/documents/5301... (1974, pp12-14)

I was amused to learn that email may get lost in the «спам» folder...
If each node has its own local database, then:

* you shouldn’t need a database that can handle concurrent writes

* and increasing the number of nodes shouldn’t increase the database load
There are loads of manufacturers that still do this. Go to any furniture row, you’ll see the Ikea parking lot is full, the rc willey parking lot less so, and the premier quality furniture brands parking lots nearly empty.