Lightnews — Scholar-powered news

Reposted

Felienne Hermans @felienne.bsky.social · 5d

The term "vibe coding" raises an important question: what exactly is coding? In my last newsletter I argue that coding is very narrowly defined, as just getting ideas already crystal clear in your brain into source code.

1 5 16

Reposted

Carl Quintanilla @carlquintanilla.bsky.social · 6d

#WarRavagedPortland

1.3K 11K 36K

Reposted

Francesco Serra @isomorphicdude.bsky.social · 7d

A reminder that Scalabridge London is back on from tomorrow! A truly great opportunity to get to know amazing people and work on interesting projects to master Scala and functional programming!

Sign up here if you want to join us: www.meetup.com/scalabridge-...

ScalaBridge Autumn 2025 Start!, Wed, Oct 8, 2025, 6:00 PM | Meetup

ScalaBridge London is back for Autumn 2025. Our first session is hosted by the lovely people at SiriusXM, a long time host of ours. A big change with the new term is the s

www.meetup.com

1 1 1

noelwelsh.bsky.social @noelwelsh.bsky.social · 12d

A few years back some companies banned "politics at work". There is no useful definition of politics that excludes normal workplace activities, so this ban is simply a hammer that those with power can arbitrarily deploy against those without.

This is the same, but on a much wider scale.

Jess Calarco @jessicacalarco.com · 12d

The Compact says "Signatories commit... to transforming or abolishing institutional units that purposefully punish, belittle, and even spark violence against conservative ideas."

What does this mean for units teaching evolution, history, or climate change?
www.washingtonexaminer.com/wp-content/u...

"Signatories commit themselves to revising governance structures as necessary to
create such an environment, including but not limited to transforming or abolishing institutional units that purposefully punish, belittle, and even spark violence against conservative ideas."

noelwelsh.bsky.social @noelwelsh.bsky.social · 12d

Presumably "conservative ideas" are not defined anywhere, so it just becomes a hammer with which to hit those who are out of favour.

11

noelwelsh.bsky.social @noelwelsh.bsky.social · 14d

If you're the right kind of person you can definitely get an education without going the traditional route, and that is easier now than ever.

If your goal in life is writing CRUD apps you don't need a degree.

1

noelwelsh.bsky.social @noelwelsh.bsky.social · 14d

I think some of it is chuddish reaction against institutions. Chuds are gonna chud.

However, there are legitimate cases for not going the university route if you're in the US ($$$s) and/or you see programming as purely a vocation.

1

noelwelsh.bsky.social @noelwelsh.bsky.social · 19d

I'm calling the police right now!

3

noelwelsh.bsky.social @noelwelsh.bsky.social · 19d

As a parent I feel it is only fair to make one for the kids these days, clarifying common misconceptions like "putting dirty dishes near the dishwasher is the same as putting them in the dishwasher" and "laundry is done by a magic fairy that enjoys fishing dirty underwear from your floordrobe" 😜

2 13

Reposted

Gil Durán @gilduran.com · 20d

3/ Tech fascism in a nutshell: “Computers are so much more rule-based, controllable, fixable, and comprehensible than any human will ever be. As many political schools of thought do, these technolibertarians make a philosophy out of a personality defect.“ She wrote this in 2000!

4 370 2.2K

noelwelsh.bsky.social @noelwelsh.bsky.social · 19d

I feel this is very much in the spirit of @maggieappleton.com's "barefoot developer" (maggieappleton.com/home-cooked-...), though the details differ. Languages, of course, are software!

Home-Cooked Software and Barefoot Developers

The emerging golden age of home-cooked software, barefoot developers, and why the local-first community should help build it

maggieappleton.com

noelwelsh.bsky.social @noelwelsh.bsky.social · 20d

😍 Extremely cool: a DSL for knitting patterns: t0mpr1c3.github.io/knotty/index...

Implemented, of course, in Racket.

I love the idea of an OSS standard for knitting patterns. I also love the idea of little programming languages, produced without fuss to make life better for humans.

🧶

Knotty

t0mpr1c3.github.io

1 12

noelwelsh.bsky.social @noelwelsh.bsky.social · 22d

@scalabridgelondon.bsky.social is back in October! Here's the projects we'll be working on:

www.scalabridgelondon.org/projects/

Sign up for your choice here:

docs.google.com/forms/d/e/1F...

(All the details and much more on our website www.scalabridgelondon.org)

Learn or improve at programming in a fun and supportive environment

www.scalabridgelondon.org

4 2

noelwelsh.bsky.social @noelwelsh.bsky.social · 26d

We also have a few smaller new features, including improved bitmap support (also by Yaroslav) and better support for using the REPL on Java2D. Everything new (and old) is covered in our documentation (which has a nice new theme!)

noelwelsh.bsky.social @noelwelsh.bsky.social · 26d

Doodle 0.31.0 is out [1]! The most significant change is the addition of bitmap convolutions thanks to my outstanding GSoC student Yaroslav [2]. You can view examples in your browser [3]!

[1]: www.creativescala.org/doodle/
[2]: github.com/untainsyd
[3]: www.creativescala.org/doodle/pictu...

Doodle

docs

www.creativescala.org

1 2

noelwelsh.bsky.social @noelwelsh.bsky.social · 28d

The universal that brings all parents together. Now get off my lawn!

1

Reposted

Natalia Cecire @ncecire.bsky.social · Sep 10

This is what was so maddening about the 2012 MOOC discourse. All those venture capital types hyped on the idea that the whole world would be getting taught by the Best Professor (there's only one) instead of understanding the variation in approaches for the opening to inquiry that it is

5 68

noelwelsh.bsky.social @noelwelsh.bsky.social · Aug 26

Denmark does the same. I thought peach flavoured dates would be an interesting flavour but the reality was just disappointment

Elise Harrington @elusieum.bsky.social · Aug 26

Leave it to Norway to ruin something great (dates).

1

noelwelsh.bsky.social @noelwelsh.bsky.social · Aug 17

Questionable equation in Paris enroute to Scala Days

3

noelwelsh.bsky.social @noelwelsh.bsky.social · Aug 17

Mind blowing stuff at yesterday's @inkandswitch.com meetup. The future is being made here!

1

noelwelsh.bsky.social @noelwelsh.bsky.social · Aug 12

Don't forget his company banned politics at work, a self-annulling political act. He has a very poor understanding of what politics is.

3

noelwelsh.bsky.social @noelwelsh.bsky.social · Aug 12

Rust is getting tail calls. Like actually getting them. This is revolutionary. Other language implementations that have been stuck in "we'll support tail calls eventually" for years may now actually follow 🙏

github.com/rust-lang/ru...

Implement support for `become` and explicit tail call codegen for the LLVM backend by xacrimon · Pull Request #144232 · rust-lang/rust

This PR implements codegen of explicit tail calls via become in rustc_codegen_ssa and support within the LLVM backend. Completes a task on (#112788). This PR implements all the necessary bits to ma...

github.com

2

noelwelsh.bsky.social @noelwelsh.bsky.social · Aug 8

The equivalence of state-based and op-based CRDTs seems like a special case of the duality between data and codata. Not sure if this is obvious or deep 😀

4

Reposted

🇨🇦 Joey Eremondi @joeyeremondi.bsky.social · Aug 6

Summer Undergraduate Internship - reposts welcome!

Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?

1 12 8

noelwelsh.bsky.social @noelwelsh.bsky.social · Aug 6

E.g.:

* How can we make the editing process faster? Quick feedback loop is great, but there must be more.

* What kind of error checking can we do? Think beyond broken links.

* Documents can be interactive, and so we should allow information to flow from generation to the browser.