Searching txt.sour.is

Twts matching #8:
Sort by: Newest, Oldest, Most Relevant
hacker-news-front-page
feeds.twtxt.net
 (1w ago)

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.

The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.

Trust in the correctness c … ⌘ Read more

⤋ Read More
TheAge_National
feeds.twtxt.net
 (2w ago)

WA is ahead of the pack for solar uptake. But what happens to panels at the end of their lives?
The WA government will tip $17.8 million into a program to recycle solar panels and lithium-ion batteries in a bid to recover valuable materials and reduce the waste being sent to landfill. ⌘ Read more

⤋ Read More
ABC_horticulture
feeds.twtxt.net
 (20w ago)

Sobering export report for Australian producers as world turns off wine consumption
Global demand for Australian wine is continuing to dwindle, with the latest Wine Australia export report showing an 8 per cent decrease in 2025 as consumers opt for alcohol-free trends. ⌘ Read more

⤋ Read More
movq
www.uninformativ.de
 (20w ago)

Another project where I’m going to use my terminal widget toolkit is a hex editor. This is still very young, obviously, and there’s a lot of work to do (both in the toolkit and this particular application), but I’m making some progress:

https://movq.de/v/2bae14ed16/vid-1769283187.mp4

Since this program is UTF-8 clean (I hope), you can do things like enter multi-byte UTF-8 sequences or paste them from the system clipboard (another hex editor I just tried failed to do this correctly):

https://movq.de/v/e9241034c1/vid-1769283755.mp4

Under the hood, I’m using mmap() with MAP_PRIVATE, which is really cool: I get the entire file as a byte array, no matter how large it is, no need to actually read it upfront; and MAP_PRIVATE means that I can write to this area however I like without changing the underlying file. The kernel does copy-on-write for me. Only when you hit Save, it will write to the filesystem. And it’s just a couple lines of code. The kernel does all the magic. 🥳

⤋ Read More
lyse
lyse.isobeef.org
 (22w ago)
↳ In-reply-to » I think my widget toolkit will have an amber theme by default:

@movq@www.uninformativ.de Very nice, it’s coming together!

Just in case you haven’t already noticed it, the right lower corner of the window in front was not updated when it received the focus. 8-) (In tt I also render focused text input fields with a doubly lined border, where unfocused ones have a single one.)

⤋ Read More
movq
www.uninformativ.de
 (23w ago)
↳ In-reply-to » On my way to having windows and mouse support:

At around 19 seconds in the video, you can see some minor graphical glitches.

Text mode applications in Unix terminals are such a mess. It’s a miracle that this works at all.

In the old DOS days, you could get text (and colors) on the screen just by writing to memory, because the VGA memory was mapped to a fixed address. We don’t have that model anymore. To write a character to a certain position, you have to send an escape sequence to move the cursor to that position, then more escape sequences to set the color/attributes, then more escape sequences to get the cursor to where you actually want it. And then of course UTF-8 on top, i.e. you have no idea what the terminal will actually do when you send it a “🙂”.

Mouse events work by the terminal sending escape sequences to you (https://www.xfree86.org/current/ctlseqs.html#Mouse%20Tracking).

ncurses does an amazing job here. It’s fast (by having off-screen buffers and tracking changes, so it rarely has to actually send full screen updates to the terminal) and reliable and works across terminals. Without the terminfo database that keeps track of which terminal supports/requires which escape sequences, we’d be lost.

But gosh, what a mess this is under the hood … Makes you really miss memory mapped VGA and mouse drivers.

⤋ Read More
prologic
twtxt.net
 (29w ago)

Fark me 🤦‍♂️ I woke up quite late today (after a long night helping/assisting with a Mainframe migration last night fork work) to abusive traffic and my alerts going off. The impact? My pod (twtxt.net) was being hammered by something at a request rate of 30 req/s (there are global rate limits in place, but still…). The culprit? Turned out to be a particular IP 43.134.51.191 and after looking into who own s that IP I discovered it was yet-another-bad-customer-or-whatever from Tencent, so that entire network (ASN) is now blocked from my Edge:

+# Who: Tentcent
+# Why: Bad Bots
+132203

Total damage?

$ caddy-log-formatter twtxt.net.log | cut -f 1 -d  ' ' | sort | uniq -c | sort -r -n -k 1 | head -n 5
  61371 43.134.51.191
    402 159.196.9.199
    121 45.77.238.240
      8 106.200.1.116
      6 104.250.53.138

61k reqs over an hour or so (before I noticed), bunch of CPU time burned, and useless waste of my fucking time.

⤋ Read More
Schwartzreport
feeds.twtxt.net
 (35w ago)

What we know after MS homecomings see 14 shot, 8 killed in 3 shootings around football games
Pam Dankins,  Reporter  -  Mississippi Clarion Ledger

_Stephan: I am running this story for two reasons. First, the United States has, and has had for decades, a deadly, unaddressed problem with guns. The largest cause of death in the young is gunfire. No other developed country, not openly at war in the world, has the kind of gun deaths that … ⌘ Read more

⤋ Read More
Schwartzreport
feeds.twtxt.net
 (35w ago)

Private Equity Tightens Its Grip on Outpatient Surgery
Jennifer Henderson,  Enterprise and Investigative Writer  -  MedPage Today

_Stephan: Depending on which poll you look at, between 25% to 40% of the emergency rooms in hospitals are not actually part of the hospital. Instead, they are owned by private equity investment firms, and the physicians and nurses are employees of those firms. Private equity firms also own approximately 8.5% to 9% of all private hospitals in … ⌘ Read more

⤋ Read More
linux_gizmos
feeds.twtxt.net
 (35w ago)

Virtium Embedded Artists Expands SoM Lineup with Renesas RZ/G3E Platform
Virtium Embedded Artists has introduced the RZ/G3E SoM, a system-on-module based on the Renesas RZ/G3E processor for industrial and medical human-machine interface applications. The module incorporates a quad-core Arm Cortex-A55 processor running at 1.8 GHz, paired with a Cortex-M33 core at 200 MHz for real-time control. Graphics capabilities include support for dual Full HD displays […] ⌘ Read more

⤋ Read More
cncf
feeds.twtxt.net
 (36w ago)

Cloud Native Computing Foundation Announces Knative’s Graduation
Graduation marks Knative’s readiness for widespread production use, with upcoming features aimed at bridging legacy systems and expanding AI and cloud native integrations Key Highlights: SAN FRANCISCO, Calif. – October 8, 2025 – The Cloud Native… ⌘ Read more

⤋ Read More
lwn-net
feeds.twtxt.net
 (36w ago)

Security updates for Wednesday
Security updates have been issued by Fedora (apptainer, civetweb, mod_http2, openssl, pandoc, and pandoc-cli), Oracle (kernel), Red Hat (gstreamer1-plugins-bad-free, iputils, kernel, open-vm-tools, and podman), SUSE (cairo, firefox, ghostscript, gimp, gstreamer-plugins-rs, libxslt, logback, openssl-1_0_0, openssl-1_1, python-xmltodict, and rubygem-puma), and Ubuntu (gst-plugins-base1.0, linux-aws-6.8, linux-aws-fips, linux-azure, linux-azure-nvidia, linux-gke, linux-nvidia-tegra- … ⌘ Read more

⤋ Read More
ABC_JustIn
feeds.twtxt.net
 (36w ago)

Live: ASX to open steady as Wall Street slips from record highs
Gold prices surge to a new record, above $US4,000 an ounce, as the US government shutdown drags on past its first week, and the Australian share market is likely to open flat after Wall Street’s AI tech rally takes a breather. ⌘ Read more

⤋ Read More
ABC_JustIn
feeds.twtxt.net
 (36w ago)

WA Government appeals $2.8m compensation for foster care abuse survivor
The WA government is appealing a record $2.8 million compensation payment awarded to Dion Barber, who suffered repeated sexual abuse while in foster care during the 1980s and 1990s. ⌘ Read more

⤋ Read More
lwn-net
feeds.twtxt.net
 (36w ago)

[$] 6.18 merge window, part 1
At the time of writing, there have been 9,099 commits in the 6.18 merge window,
8,475 non-merges and 624 merges. The
changes so far include core-kernel, graphics, and networking work, among others.
There are no big surprises, but several items that were discussed at this year’s
LFSMM+BPF Summit have now been merged. ⌘ Read more

⤋ Read More
lwn-net
feeds.twtxt.net
 (36w ago)

Security updates for Monday
Security updates have been issued by AlmaLinux (kernel), Debian (dovecot, git, log4cxx, and openssl), Fedora (containernetworking-plugins, firebird, firefox, jupyterlab, mupdf, and thunderbird), Oracle (ipa), Red Hat (container-tools:rhel8, firefox, gnutls, kernel, kernel-rt, multiple packages, mysql, mysql:8.0, nginx, podman, and thunderbird), Slackware (fetchmail), SUSE (afterburn, chromium, firefox, haproxy, libvmtools-devel, logback, python311-Django, python311-Django4, and … ⌘ Read more

⤋ Read More
Schwartzreport
feeds.twtxt.net
 (36w ago)

The wealth of the top 1% reaches a record $52 trillion
Robert Frank,  Wealth Editor  -  CNBC

Stephan: When I tell you the United States has become a neo-medieval authoritarian oligarchy society, this is what I mean.

Image

Robert Frank, CNBC Wealth Editor. Credit: CNBC

  • The top 10% of Americans added $5 trillion to their wealth in the second quarter as the stock market ra … ⌘ Read more

⤋ Read More
macrumors
feeds.twtxt.net
 (36w ago)

iPad Mini 8 on the Way: Expected Features and Release Timeline
A new iPad mini is “absolutely” on the way, according to Bloomberg’s Mark Gurman. So what should we expect from the successor to the iPad mini 7 that Apple released a year ago?

Image

Processor and Performance

Apple is working on a next-generation version of the iPad mini (codename J510/J511) that features the A19 Pro chip, according to in … ⌘ Read more

⤋ Read More
macrumors
feeds.twtxt.net
 (36w ago)

The Best Early Prime Day Deals on AirPods, iPads, and More
Amazon is hosting another Prime Day event this year, called Prime Big Deal Days and offering shoppers the first chance to save on holiday shopping from a major retailer. Similar to last year’s fall Prime Day, it will last for two days (October 7-8) and you can already find a large selection of early deals across Amazon’s storefront, coveri … ⌘ Read more

⤋ Read More
lwn-net
feeds.twtxt.net
 (36w ago)

Security updates for Friday
Security updates have been issued by AlmaLinux (idm:DL1), Debian (gegl and haproxy), Fedora (ffmpeg, firefox, freeipa, python-pip, rust-astral-tokio-tar, sqlite, uv, webkitgtk, and xen), Oracle (idm:DL1, ipa, kernel, perl-JSON-XS, and python3), Red Hat (git), SUSE (curl, frr, jupyter-jupyterlab, and libsuricata8_0_1), and Ubuntu (linux-aws, linux-lts-xenial, linux-aws-fips, linux-fips, linux-gcp-fips, linux-azure, linux-azure, linux-azure-6.8, linux-fips, linux-gcp-fips, and l … ⌘ Read more

⤋ Read More
lwn-net
feeds.twtxt.net
 (37w ago)

Security updates for Wednesday
Security updates have been issued by AlmaLinux (kernel, kernel-rt, mysql:8.0, and openssh), Debian (libcommons-lang-java, libcommons-lang3-java, libcpanel-json-xs-perl, libjson-xs-perl, libxml2, open-vm-tools, and u-boot), Fedora (bird, dnsdist, mapserver, ntpd-rs, python-nh3, and rust-ammonia), Oracle (kernel and mysql:8.0), Red Hat (cups, postgresql:12, and postgresql:13), SUSE (cJSON-devel, gimp, kernel-devel, kubecolor, open-vm-tools, openssl-1_1, openssl-3, and ruby3.4-ruby … ⌘ Read more

⤋ Read More
os-x-daily
feeds.twtxt.net
 (37w ago)

MacOS Sequoia 15.7.1 & MacOS Sonoma 14.8.1 Updates Released with Security Fixes
Apple has released MacOS Sequoia 15.7.1 and MacOS Sonoma 14.8.1 as security patch releases for Mac users who are not yet running the Tahoe operating system, of which MacOS Tahoe 26.0.1 was just released. The updates are focused on security patches and do not include any other changes or features for the Sequoia or Sonoma … [Read More](https://osxdaily.com/2025/09/30/macos- … ⌘ Read more

⤋ Read More
zvava
twtxt.net
 (40w ago)

search page, bookmarks page, improved thread view (that i will probably improve further), as well as a logo and a whole ui redesign. it is truly all coming together…were i to mark any items off the roadmap :p

Video

⤋ Read More
@marado@ciberlandia.pt
tilde.pt
 (40w ago)

Sabemos que (no hemisfério norte) a noite mais longa do ano é em Dezembro, mas em Lamego, cidade das Noites Longas, é de 7 para 8 de Setembro que acontece a “Grande Noite da Romaria de Portugal” (os Lamecenses chamam-lhe “a noitada”). Arruadas por rusgas populares que alegremente percorrem a cidade cantando temas populares e cantigas ao desafio, pelo rufar típico dos bombos e alegres toques de concertinas, preenchem a noite até ao amanhecer - é a noite em que a cidade não dorme.

Já não tenho idade para essas coisas (mental, que física sou ultrapassado na boa por muitos foliões!), e amanhã é dia de trabalho, pelo que este ano me fiquei pela batalha das flores que aconteceu durante a tarde e para a qual - imaginem! - não se encontravam fotos com licenças livres, algo que aproveito para colmatar 😇

Image

Image

Image

Image

⤋ Read More
lyse
lyse.isobeef.org
 (40w ago)
↳ In-reply-to » @lyse You might enjoy this one: https://github.com/TheMozg/awk-raycaster

@movq@www.uninformativ.de Holy shit, that’s insane! :-D I tried it, but i’m absolutely terrible at these type of games. I’m having trouble with the keys to move around. Maybe after ages I would pick it up and it becomes natural. I just was never a real gamer.

I will definitely try to read through the code, though! This looks sick. 8-)

⤋ Read More
lyse
lyse.isobeef.org
 (40w ago)
↳ In-reply-to » I have a late-2010s ThinkPad running OpenBSD, but it's about as fast as a snail carrying heavy shopping through molasses. I'd like to run something other than Linux, for variety, but the other members of the BSD family failed for various reasons. What OS do you guys think I should try?

@dce@hashnix.club You should try los86! 8-)

Well, what are you trying to do on this ThinkPad? That might affect the OS choices.

I really had to laugh when I read your initial comparison. I love it! :-D

⤋ Read More
hashtable
feeds.twtxt.net
 (42w ago)

Finalement, Bayrou n’a été qu’une grosse perte de temps
Il était vaguement attendu, et, avec toute l’onctuosité d’un vieux cacique mou, Bayrou a parlé : le 8 septembre prochain, pour pousser son budget, il mettra l’avenir de son gouvernement en jeu devant les parlementaires. Ah, décidément, rien de tel qu’une bonne louche de politique politicienne pour sauver un pays ! En effet, avec cette annonce, tout […] ⌘ Read more

⤋ Read More