jnpn

Implementations in languages like Prolog or MiniZinc were mentioned. They showcase how declarative or constraint-based programming paradigms are well-suited for solving constraint satisfaction problems like this. #ConstraintProgramming 5/6

Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. acnsci.org/journal/inde... #LogicProgramming #Prolog #ASP #CLP #Datalog

Readings shared June 29, 2025 The readings shared in Bluesky on 29 June 2025 are Constructing the Lie algebra of smooth vector fields on a Lie group in Isabelle/HOL. ~ Richard Schmoetten, Jacques D. Fleuriot. #ITP #IsabelleHOL #M

Readings shared June 29, 2025. jaalonso.github.io/vestigium/po... #AI #FunctionalProgramming #Haskell #ITP #Idris #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Maxima #Prolog #Rocq

My Own 3b1b Animation Engine but in C YouTube video by Tsoding Daily

tsoding doing live reloading C ??

www.youtube.com/watch?v=RVwu...

stephenbodio.com/2025/07/earl...

era.ed.ac.uk/handle/1842/...

#haskell #inlining

This Osprey is so majestic…. 🥰
And in the bird world this is considered a sick move….

fstrings.wtf - Python F-String Quiz Test your knowledge of Python's f-string formatting with this interactive quiz. How well do you know Python's string formatting quirks?

I got 16/26 on the fstrings.wtf quiz. Can you do better? fstrings.wtf

Any resemblance with real life colored characters is fortuitous

non mais on aurait bien echange un vlad pour un bun

Random learning of the day 🧪:

In silicon, holes have lower mobility than electrons. To compensate for it, features in PMOS have a larger characteristic size than in NMOS.

For example, look at the transistors (red squares) 👇. The gate in the PMOS is larger than the NMOS (pic from K. Shirriff)

Westenberg | Why The Smartest People I Know Set Constraints, Not Goals Why Goal Setting Is Overrated: Embrace Constraints InsteadThe 1953 Yale goal-writing myth has long misled professionals, suggesting clarity of ambition leads to success. This video challenges that ...

This resonates with how many people's brain function

westenberg.transistor.fm/episodes/why...

Pericyte pannexin1 controls cerebral capillary diameter and supports memory function - Nature Communications Brain contractile pericytes control capillary blood flow to match neuronal demands. Here, the authors show that pericytes express ATP-releasing pannexin1 channels and establish their role in the regul...

#Pericytes #cerebrovascular

Extending the RANGE of Graph Neural Networks: Relaying Attention Nodes for Global Encoding Graph Neural Networks (GNNs) are routinely used in molecular physics, social sciences, and economics to model many-body interactions in graph-like systems. However, GNNs are inherently local and can s...

Our new preprint is out: Extending the RANGE of Graph Neural Networks: Relaying Attention Nodes for Global Encoding.
arxiv.org/abs/2502.13797
We present a new architecture to address the problem of "short-sightedness" of MLFF based on GNN, which outperform in speed and accuracy Ewald-based GNN.

Servo Report Week 25 2025

Recent project highlights:
- Encoding improvements making Servo pass over 1.7M WPT subtests now
- More progress on WebDriver support
- Start using fontations to read font tables
- Initial IndexDB support
- Continue work on ImageBitmap implementation

1/2

Hot damn this is cool

I urge you to please notice when you are happy,
and exclaim or murmur or think at some point,
'If this isn't nice, I don't know what is'.
#KurtVonnegut

Complete AI-Enabled Echocardiography Interpretation With Multitask Deep Learning This study evaluates the accuracy of an artificial intelligence (AI) system on a comprehensive set of 39 echocardiographic labels and measurements on transthoracic echocardiography.

When A.I. can interpret an echocardiogram.
(one of the most complex medical images)
jamanetwork.com/journals/jam...

SPIELBERG: When John Williams first played me his theme to “Jaws”, “I began to laugh .. He had a great sense of humor, I thought he was putting me on.”

(via Todd Spence)

@benstiller.redhour.com

a new oppenheimer cut is coming

yeah then I go to miranda. jk

Pretty timely, I started reading about TLA+ few monthes ago, thanks a lot.

ITX Sized Mac Plus is now available for purchase (kit/assembled) from max1zzz

Project: tinkerdifferent.com/threads/itxp...


Buy (reg req for buy/sell/trade): tinkerdifferent.com/threads/fs-i...

Github: github.com/max234252/IT...

I keep telling myself I don't need another Mac Plus... :)

Thanks. I was hoping for some crazy new insights from a haskell hacker hidden in a british phd lab you know :)

what's new in the functional programming testing world ? I mostly know about quickcheck and some derivatives

Release 0.38.0 · tinygo-org/tinygo This release includes some very exciting new features, in particular our first multicore support! Initially available on the RP2040 microcontrollers, now TinyGo can use both cores at the same time ...

TinyGo 0.38 is out with our first multicore support! Initially available on the RP2040 now use both cores at the same time for true concurrency in hardware. Plus USB MSD support, new WASM GC options, fixes, & more!

Go get it right now!

#golang #tinygo

github.com/tinygo-org/t...

they need to let the Rust account post good. Haskell account has juice and I haven't seen a single Rust post for pride

Brain iron accumulation in neurodegenerative disorders: Does air pollution play a role? - Particle and Fibre Toxicology Background Both excess brain Fe and air pollution (AP) exposures are associated with increased risk for multiple neurodegenerative disorders. Fe is a redox-active metal that is abundant in AP and even...

#Medsky🧪 #Neurosky #publichealth Prolonged inhaled Fe exposure via air pollution should be considered as a source of elevated brain Fe with aging, and as a risk factor for neurodegenerative diseases (AD or PD)

particleandfibretoxicology.biomedcentral.com/articles/10.... @biomedcentral.bsky.social

it's only fully art now that this happened