jnpn
@jnpn.bsky.social
Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Reposted by 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
June 25, 2025 at 6:00 PM
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
Reposted by jnpn
Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. acnsci.org/journal/inde... #LogicProgramming #Prolog #ASP #CLP #Datalog
March 18, 2025 at 8:10 AM
Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. acnsci.org/journal/inde... #LogicProgramming #Prolog #ASP #CLP #Datalog
Reposted by jnpn
Readings shared June 29, 2025. jaalonso.github.io/vestigium/po... #AI #FunctionalProgramming #Haskell #ITP #Idris #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Maxima #Prolog #Rocq
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
jaalonso.github.io
June 30, 2025 at 5:57 AM
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
www.youtube.com
July 23, 2025 at 8:53 PM
Reposted by jnpn
This Osprey is so majestic…. 🥰
And in the bird world this is considered a sick move….
And in the bird world this is considered a sick move….
July 20, 2025 at 10:56 AM
This Osprey is so majestic…. 🥰
And in the bird world this is considered a sick move….
And in the bird world this is considered a sick move….
I got 16/26 on the fstrings.wtf quiz. Can you do better? fstrings.wtf
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?
fstrings.wtf
July 21, 2025 at 4:10 PM
I got 16/26 on the fstrings.wtf quiz. Can you do better? fstrings.wtf
Any resemblance with real life colored characters is fortuitous
July 19, 2025 at 10:45 PM
Any resemblance with real life colored characters is fortuitous
Reposted by jnpn
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)
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)
July 4, 2025 at 10:07 PM
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)
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)
Reposted by jnpn
Reposted by jnpn
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.
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.
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...
arxiv.org
February 20, 2025 at 10:10 AM
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.
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.
Reposted by jnpn
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
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
June 27, 2025 at 1:30 PM
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
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
Reposted by jnpn
Hot damn this is cool
June 26, 2025 at 7:24 PM
Hot damn this is cool
Reposted by jnpn
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
and exclaim or murmur or think at some point,
'If this isn't nice, I don't know what is'.
#KurtVonnegut
June 23, 2025 at 1:18 PM
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
and exclaim or murmur or think at some point,
'If this isn't nice, I don't know what is'.
#KurtVonnegut
Reposted by jnpn
When A.I. can interpret an echocardiogram.
(one of the most complex medical images)
jamanetwork.com/journals/jam...
(one of the most complex medical images)
jamanetwork.com/journals/jam...
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.
jamanetwork.com
June 23, 2025 at 4:53 PM
When A.I. can interpret an echocardiogram.
(one of the most complex medical images)
jamanetwork.com/journals/jam...
(one of the most complex medical images)
jamanetwork.com/journals/jam...
Reposted by jnpn
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
(via Todd Spence)
@benstiller.redhour.com
June 20, 2025 at 8:34 PM
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
(via Todd Spence)
@benstiller.redhour.com
Reposted by jnpn
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... :)
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... :)
June 16, 2025 at 2:30 PM
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... :)
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... :)
Reposted by jnpn
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...
Go get it right now!
#golang #tinygo
github.com/tinygo-org/t...
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 ...
github.com
June 16, 2025 at 8:53 AM
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...
Go get it right now!
#golang #tinygo
github.com/tinygo-org/t...
Reposted by jnpn
they need to let the Rust account post good. Haskell account has juice and I haven't seen a single Rust post for pride
June 16, 2025 at 11:15 AM
they need to let the Rust account post good. Haskell account has juice and I haven't seen a single Rust post for pride
Reposted by jnpn
#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
particleandfibretoxicology.biomedcentral.com/articles/10.... @biomedcentral.bsky.social
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...
particleandfibretoxicology.biomedcentral.com
June 16, 2025 at 11:02 AM
#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
particleandfibretoxicology.biomedcentral.com/articles/10.... @biomedcentral.bsky.social
Reposted by jnpn
PDF tags provide a hidden, structured representation of PDF content that is presented to screen readers. Not all applications support good PDF tag structure, but InDesign, Word, and PowerPoint can. WebAIM has more information on preserving these tags.
webaim.org/techniques/a...
webaim.org/techniques/a...
WebAIM: PDF Accessibility - Converting Documents to PDF
webaim.org
June 12, 2025 at 6:28 PM
PDF tags provide a hidden, structured representation of PDF content that is presented to screen readers. Not all applications support good PDF tag structure, but InDesign, Word, and PowerPoint can. WebAIM has more information on preserving these tags.
webaim.org/techniques/a...
webaim.org/techniques/a...
Reposted by jnpn
