frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

http://www.csl.sri.com/users/neumann/psos.pdf
7•rurban•26m ago•0 comments

GenCAD

https://gencad.github.io/
324•dagenix•12h ago•81 comments

Crystals found inside wreckage from the first nuclear bomb test

https://www.scientificamerican.com/article/strange-crystals-found-inside-wreckage-from-the-first-...
78•jumploops•2d ago•23 comments

It is time to give up the dualism introduced by the debate on consciousness

https://www.noemamag.com/there-is-no-hard-problem-of-consciousness/
86•ahalbert4•7h ago•217 comments

Germany goes from labour shortages to hiring freezes

https://www.ft.com/content/2a6c1cb9-6c11-41c8-a8ea-a367b8799126
15•doener•59m ago•5 comments

I turned a $80 RK3562 Android tablet into a Debian Linux workstation

https://github.com/tech4bot/rk3562deb
369•tech4bot•20h ago•171 comments

Ask an Astronaut: 333 hours of Q&A footage with astronauts

https://askanastronaut.issinrealtime.org/
150•gaws•2d ago•12 comments

Jank now has its own custom IR

https://jank-lang.org/blog/2026-05-08-optimization/
144•DASD•2d ago•20 comments

Show HN: Semble – Code search for agents that uses 98% fewer tokens than grep

https://github.com/MinishLab/semble
331•Bibabomas•18h ago•112 comments

Profunctor Equipment in Haskell

https://bartoszmilewski.com/2026/05/16/profunctor-equipment-in-haskell/
22•g0xA52A2A•1d ago•2 comments

WriteUp: 16 Bytes of x86 that turn Matrix rain into sound

https://hellmood.111mb.de//wake_up_16b_writeup.html
140•HellMood•10h ago•31 comments

Prolog Coding Horror

https://www.metalevel.at/prolog/horror
142•RohanAdwankar•12h ago•58 comments

kharp – k version 3 Language Interpreter in C#

https://github.com/ERufian/ksharp
21•tosh•1d ago•3 comments

Multiple commencement speakers booed for AI comments during graduation speeches

https://www.nbcnews.com/video/multiple-commencement-speakers-booed-for-ai-comments-during-graduat...
9•wrxd•55m ago•0 comments

A Good Lemma Is Worth a Thousand Theorems (2007)

https://sites.math.rutgers.edu/~zeilberg/Opinion82.html
61•susam•2d ago•12 comments

Magical Realism: “Northern Exposure” 25 Years Later (2015)

https://www.rogerebert.com/streaming/magical-realism-nothern-exposure-25-years-later
118•walterbell•2d ago•49 comments

Tesla Solar Roof is on life support as it pivot to panels

https://electrek.co/2026/05/14/tesla-solar-roof-promise-vs-reality-pivot-panels/
260•celsoazevedo•1d ago•266 comments

Two EA-18 fighter jets collide at Mountain Home airshow, pilots ejected safely

https://idahonews.com/news/local/two-f-18-fighter-jets-have-crashed-during-an-airshow-at-mountain...
194•ChrisArchitect•12h ago•196 comments

The SGI Buyer's Guide (2003)

https://hardware.majix.org/computers/sgi/buyers-guide.shtml
30•uticus•2d ago•13 comments

CUDA Books

https://github.com/alternbits/awesome-cuda-books
198•dariubs•21h ago•48 comments

Build a Radio Wave Detector with Balls of Aluminum Foil

https://www.wired.com/story/build-a-radio-wave-detector-with-balls-of-aluminum-foil/
13•Brajeshwar•2d ago•3 comments

The 30-Hour Shift That Turned a San Jose Robot Lab into a Global Spectacle

https://beeble.com/en/blog/the-30-hour-shift-that-turned-a-san-jose-robot-lab-into-a-global-spect...
4•odysseyk•2d ago•1 comments

Hindenburg’s Smoking Room

https://www.airships.net/hindenburg-smoking-room/
202•crescit_eundo•3d ago•161 comments

Prolog Basics Explained with Pokémon

https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
255•birdculture•2d ago•41 comments

Why is Google Maps back to showing old satellite images of Altadena?

https://www.reddit.com/r/pasadena/s/94BHlkE84r
20•tgrowazay•1h ago•5 comments

I don't think AI will make your processes go faster

https://frederickvanbrabant.com/blog/2026-05-15-i-dont-think-ai-will-make-your-processes-go-faster/
595•TheEdonian•21h ago•406 comments

Show HN: Mezz, a curl-able WiFi sandbox for IoT pentesting

https://github.com/ABGEO/mezz
21•ABGEO•2d ago•6 comments

High-Entropy Alloy

https://en.wikipedia.org/wiki/High-entropy_alloy
137•leonidasrup•3d ago•23 comments

Cannibalistic attacks between gray seals leave telltale “corkscrew” injuries

https://www.science.org/content/article/scientists-id-corkscrew-killer-behind-gruesome-seal-deaths
65•gmays•3d ago•26 comments

Trials on veterans suggest ibogaine could provide a new treatment for PTSD

https://www.bbc.com/future/article/20260514-how-hallucinogenic-ibogaine-helps-veterans-overcome-ptsd
97•bushwart•22h ago•103 comments
Open in hackernews

Closures in Tcl

https://world-playground-deceit.net/blog/2024/10/tcl-closures.html
82•andsoitis•1y ago

Comments

dingnuts•1y ago
Is Tcl having a revival? Anybody know where Tclers hang out online?
7thaccount•1y ago
They did have a recent language update after awhile. That may have triggered some folks to look into it again. There is sometimes a HN effect where an initial post triggers some interest amongst enough users to get us new posts for a few weeks and then things tend to die off again. I've seen this with a lot of the more obscure languages like APL.

It would be cool to have a Tcl revival though (although I don't see it happening - I'm not in the community though so hopefully someone more informed can post). The language itself seems more capable than most give it credit for. I'm more of a Python fan myself, but can appreciate Tcl after reading through a book on it and writing a few scripts.

bandoti•1y ago
I highly recommend The Tcl Programming Language: A Comprehensive Guide:

https://www.magicsplat.com/ttpl/index.html

For those who are not aware, Tcl is actually part of standard Python distribution through TKinter.

There are many things Tcl has built in that are quite amazing, like a robust virtual filesystem support, reflective channels, and less known these days Starpacks (stand alone runtime) that bundle sources with the binary.

I am current working on bringing back kitcreator for an AI project that uses Tcl as a scripting environment over llama.cpp.

https://github.com/tclmonster/kitcreator

Roy Keene is the original author, and has done some really clever stuff here, like encrypting the VFS appended to the executable. I added compression to this. It provides some manner of obfuscating sources.

And actually, I am also working on using tohil to compile a static Python and load it as a Tcl extension, with the goal to have standalone Python applications bundled with their sources and completely loadable from within the VFS. This will provide a means to bundle TKinter with a “frozen” Python app.

https://github.com/tclmonster/tohil

7thaccount•1y ago
The previous edition of that book is the one I read lol. A great book. You can really feel the author's love of the language.
sph•1y ago
Thank you and GP for the recommendation, just bought the book, seems pretty good! Now I wonder whether it's a good idea to replace my shell with tclsh... seems a lot more sane than bash/zsh.
7thaccount•1y ago
Bash is pretty good for really small scripts. Anything bigger and I have reached for Perl, Python, or Tcl in the past ... depending on what IT had installed on the server.
bandoti•1y ago
Definitely would be interesting to use it in that way! The nice thing about Tcl is the syntax is clean (in brevity and understanding). Basic features like piping, file globbing, encoding conversions, compression, and so-forth are intuitive.

If you’re interested, I have various Tclkits available for download on GitHub. I have added dependencies to them like TLS for HTTPS and so-forth. It can be convenient to have them standalone; the TLS extension here is bundled with the ca certs from libcurl.

https://github.com/tclmonster/kitcreator/releases/latest

And here’s an example how I use the kits in the CI build. It uses the kit it builds to push the update using the TLS extension along with the GitHub REST API:

https://github.com/tclmonster/kitcreator/blob/main/.github/s...

mhd•1y ago
The Wiki[1] is one of the primary "hang out" spots, although it's a bit different from usual online communication. But there's a lot of mutual commenting, small articles and utilities etc. on there.

[1]: https://wiki.tcl-lang.org or https://wiki.tcl.tk

ofrzeta•1y ago
"The European OpenACS and TCL/Tk conference will be in Bologna/Italy/Europe on July 10 & 11 2025." - this is crazy. Seems there are still people using OpenACS in 2025.
msephton•1y ago
I last got help on the IRC channel (bridged to Slack, because I don't know IRC).

In the most recent big version update there was what I'd consider a breaking change regarding text encoding handling, but it was possible to go back to the old behaviour with an additional parameter .

monetus•1y ago
r/TCL is worth a mention
pjmlp•1y ago
I worked on a startup whose main language was Tcl, between 1999 and 2002, since then I hardly touched Tcl again.

Yet it has a special place on my heart and was one of the interpreters easiest to extend, in regards to the FFI API.

f1shy•1y ago
If you work with VHDL or Verilog tools, it is very well alive and kicking. Forums about HDLs are full of it.
IshKebab•1y ago
It is unfortunately entrenched in the EDA industry. I have absolutely no idea why you would use it if you don't work in that space.
sokoloff•1y ago
Because it works.

I introduced it into some of our release tooling in the mid-2000s. Easy to integrate, easy to understand, unsurprisingly good string/text handling, expect was very useful, and it’s not going to be used by anyone else, so no worries about version conflicts.

It ran successfully largely unchanged for around a decade.

IshKebab•1y ago
Everything works. PHP works. Perl works. Bash works.

I like to use tools that more than merely work.

There's a reason nobody outside EDA uses it.

_mlbt•1y ago
It’s included with Python in the form of Tkinter, the MacPorts package manager is written in it, and it’s also used by Cisco IOS for scripting.
IshKebab•1y ago
Just FYI when people say things like "nobody like this" or "everybody does that" they don't literally mean 100.00%.
RHSeeger•1y ago
It is, for many people, an absolute pleasure to work in.
cmacleod4•1y ago
Strange, I've been attending the EuroTcl conferences for a few years now, I don't remember any of the presentations I've seen being related to EDA - https://www.eurotcl.eu/pastevents.html :-/
johnnyjeans•1y ago
it's a language that's trivial to implement because it's well designed and simple, it embeds very nicely, and it's fantastic for use as a debug shell and to implement guis. it's a great technician's language, if you work with technically-minded people who aren't necessarily programmers, it's a great way to hand them deep interactive power without the footguns of a forth.
IshKebab•1y ago
I would say it's cleverly designed. Well designed? Hmm, would a well designed language have such a basic flaw as comments that can only be used in very specific places?
BoingBoomTschak•1y ago
I understand where they came from here: the Scheme-like obsession with purity (the enshrined Endekalogue, now Dodekalogue) didn't mesh very well with traditional comment.

Yeah, Tcl has its design warts, but I don't think it has that many remaining that can't be fixed via metaprogramming. Even the popular Python manages to frustrate me with its idiotic statement/expression divide (they doubled down by making match() a statement...) and constant need to convert between generators/iterables and lists.

Thing is that R6RS Scheme (or R7RS-large if it comes out one day) is basically a better Tcl if you only consider scripting and don't need the event loop. If Tcl had played its cards right, it'd have competed with fish/rc/nushell/powershell instead, it was really ready to be a better shell well before any other.

------

To be honest, Common Lisp is the only language I've ever seen get this right without compromising on said purity by specifying the reader (parser): https://www.lispworks.com/documentation/HyperSpec/Body/02_.h...

Comments are then just the result of a readtable entry like any other, allowing this kind of voodoo:

  ; A comment
  (set-macro-character #\% (get-macro-character #\;))
  % Also a comment
johnnyjeans•1y ago
absolutely, i don't even consider that a flaw. i dont like EOL comments stylistically.
IshKebab•1y ago
I totally agree, but TCL comments are even more restricted than that.
thesz•1y ago

  > Well, I've encountered this use case a few times in Lisp:...
  > ...where a callback is used to collect various items.
This can be and is achieved by simple SQL-like query. Filter (flat) set of nodes by integerness and you even do not need a push_back.

Despite that, I find article interesting. It shows that Tcl can truely be multiparadigm programming language.

Myself, I've implemented pattern matching [1] over algebraic-type-like values and used that here and there.

[1] https://wiki.tcl-lang.org/page/Algebraic+Types

BoingBoomTschak•1y ago
The callback way is more generic and prevents consing when you don't need to store the resulting node list. You may want to simply print something or maybe modify the node in-place, for example.
thesz•1y ago

  > modify the node in-place
I consider this anti-pattern [1].

[1] https://web.archive.org/web/20070417190836/https://www.eecs....

Authors found themselves fighting with control flow graph modifications and replaced mutable graph with immutable one, modified by zippers. They achieved speed up of 11% in optimizing transformations, some of which they were unable to implement in mutable version. E.g., more complex optimizations were working faster.

gitroom•1y ago
Pretty cool seeing folks show up about Tcl, tbh I messed with it ages ago and never thought people were still this into it
RHSeeger•1y ago
I don't get to use Tcl at work anymore, but I adore it. I use it for command line stuff on a regular basis
RHSeeger•1y ago
> You might wonder why you'd ever need such a strange behaviour, right?

Closures can also be used to return a group of methods that all act on the same set of variables; ie, objects.

tialaramex•1y ago
> In C++, this could be achieved if all local variables were in fact std::shared_ptr captured by value.

So, in C++ you do actually get to pick what happens and there are plenty of options but for our purposes here all we want is a (mutable) reference capture.

However, experienced C++ programmers would never do this because C++ is all foot guns all the time, so you can express what you meant and it'll blow up and cause chaos because now our reference outlives the thing referred to. Oops.

In Rust we can write what we meant, but instead of the program exploding at runtime the compiler will politely point out that this can't work and why.

And so armed with the knowledge from that, we can (in Rust or with C++ although it's harder to spell in C++) write something that'll actually work.

We could move the captured variable. In Rust we just use the keyword `move`, now the captured variable is gone, moved inside the closure, and so as with the Tcl the same variable (the one moved into this closure) is used each time the closure is called, and if we make another closure that's got a different captured variable.

But we could do the "shared reference" trick, that type is spelled Rc in Rust.