Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@Techmeme@techhub.social
2026-04-02 01:56:06

Variance, which develops AI agents for compliance and fraud investigations, raised a $21.5M Series A led by Ten Eleven Ventures and joined by YC and others (Ryan Lawler/Axios)
axios.com/pro/fintech-deals/20

Exclusive: Variance raises $21.5M for AI compliance agents
Compliance teams need better ways to handle fraud reviews.

@fanf@mendeddrum.org
2026-04-03 08:42:02

from my link log —
How we ran a Unix-like OS (Xv6), on our home-built CPU, with our home-built C compiler.
fuel.edby.coffee/posts/how-we-
saved …

How we ran a Unix-like OS (Xv6) on our home-built CPU with our home-built C compiler
[Thanks for many comments and votes on Hacker News! ] It’s been two years since I started working as a software engineer. I sometimes tell my colleagues about a student project I did in my junior year of university, and it’s so well-received that I’m writing this post. 1 Now, let me ask you a question. Have you ever designed your own ISA, built a processor of that ISA on FPGA, and built a compiler for it? Furthermore, have you run an operating system on that processor? Actually, we have.

@usul@piaille.fr
2026-04-03 04:32:37

East Prigorodny conflict - Wikipedia
#til #history

East Prigorodny conflict - Wikipedia

@paulwermer@sfba.social
2026-04-02 14:37:48

Coordinated conflict: how the Ukraine and Iran wars are starting to overlap
theguardian.com/world/2026/apr

Coordinated conflict: how the Ukraine and Iran wars are starting to overlap
Battlefield outcomes are connected by the sharing of weapons and intelligence as well as the damage to the global economy

@PaulWermer@sfba.social
2026-04-02 14:37:48

Coordinated conflict: how the Ukraine and Iran wars are starting to overlap
theguardian.com/world/2026/apr

Coordinated conflict: how the Ukraine and Iran wars are starting to overlap
Battlefield outcomes are connected by the sharing of weapons and intelligence as well as the damage to the global economy

@carloshr@lile.cl
2026-05-02 23:02:35

Mon Laferte, otra talento nacional que hoy estš de cumpleaños. La Femme Fatale nació el 2 mayo de 1983 en Viña del Mar. Hoy cumple 43 años.
#MonLaferte #CumpleañosRockero

Mon Laferte
@cowboys@darktundra.xyz
2026-06-01 13:57:35

Dallas Cowboys Working Out Free Agent WR After Parris Campbell Retirement si.com/nfl/cowboys/onsi/dallas

Dallas Cowboys Working Out Free Agent WR After Parris Campbell Retirement
The Dallas Cowboys are taking a look at a former Miami Dolphins wide receiver after losing Parris Campbell to retirement last week.

@cellfourteen@social.petertoushkov.eu
2026-05-02 12:07:58

Well, okay (after libxapian.so.30 was thrown out of the window and GoldenDict-ng got completely crippled)
It felt like it needed to compile the entire Qt5 framework, but at the end, all is well and working
* I had to change all instances of GoldenDict-ng to GoldenDict in my scripts for them to start working again
** Dictionary re-indexing was not an issue, as I normally disable "Allow full-text search for:"

==> Leaving fakeroot environment. ==> Finished making: goldendict-git 1:1.5.1.r4.gb4f3fcdc-1 ( 2.05.2026 (c6) 14:36:17) ==> Cleaning up... loading packages... resolving dependencies... looking for conflicting packages...
@fanf@mendeddrum.org
2026-06-02 17:42:04

from my link log —
Stealing from biologists to compile Haskell faster.
iankduncan.com/engineering/202
saved 2026-06-02

Stealing from Biologists to Compile Haskell Faster - Ian Duncan
The trick that makes GHC’s ApplicativeDo optimization faster is structurally identical to how biologists predict RNA folding.

@fanf@mendeddrum.org
2026-06-02 08:42:02

from my link log —
Why writing correct software is hard.
pron.github.io/posts/correctne
saved 2024-05-18

Why Writing Correct Software Is Hard
We try to understand the relationship between programs and correctness, and in particular, why writing correct programs must be hard. We will review results from computability theory and complexity theory, and see that programs and complete understanding – which is required for correctness – are fundamentally at odds.