LightNews — News, ranked by scholars

Shop premium research peptides in the USA from BetterLife Bioscience. USA-made, third-party tested, with 99%+ purity for laboratory research only.

#snowdoniaspacecentre #snowdoniaaerospacecentre #AerospaceWales #ARIA #FutureFlight #AerospaceInnovation #HighAltitudePlatforms #DroneTechnology #AdvancedResearch

October 31, 2026 at 9:39 AM

Welsh Country

@welshcountry.bsky.social

Snowdonia Aerospace Selected as ARIA’s Flight Test Partner

Snowdonia Aerospace Test Centre has been selected as the only site located in Wales to provide test facilities for flight trials for ARIA.

www.welshcountry.co.uk

October 29, 2026 at 12:05 PM

Shoppingz

@shoppingz1.bsky.social

Unlock the Future of Research with BetterLife Bioscience 🔬✨
Coupon Code: 15% off SHOPPINGZ
👇
betterlifebioscience.com?ref=owlvarvn
#BetterLifeBioscience #ResearchPeptides #LabResearch #BiotechResearch #LaboratoryLife #ScienceDriven #AdvancedResearch #Biochemistry #LabSupplies #USA

Shop premium research peptides in the USA from BetterLife Bioscience. USA-made, third-party tested, with 99%+ purity for laboratory research only.

path_semantics/papers-wip2/harry-potter-in-the-world-of-path-semantics.pdf at master · advancedresearch/path_semantics

October 28, 2026 at 9:14 AM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

Btw, here's the story story about cloning: github.com/advancedrese...

In Path Semantics, there are two fundamental language biases: Seshatism & Platonism.

I'm pretty sure that one rational agents might be Seshatic biased and another Platonic biased, without being able to figure out a "middle way".

A research project in path semantics, a re-interpretation of functions for expressing mathematics - advancedresearch/path_semantics

GitHub - advancedresearch/the_century_of_satire: Reconstructing 2nd century cultural literature context of Roman satire in Early Christian texts

October 27, 2026 at 3:00 PM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

Primbix Research News:

I've ran a double-check of the Minimum Primbixes per Billion up to Level 17. As suspected, I found some human errors. The compute infrastructure is not optimal yet, so there are still some potential sources of human error.

advancedresearch.github.io/primbix/leve...

October 27, 2026 at 1:05 PM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

I've updated the README on The Century of Satire project.

github.com/advancedrese...

We now have a much better understanding of the development of thought in 18th century philosophy and how Empiricism became seen as dual of Rationalism, instead of as a school of medicine competing with Dogmatism.

Reconstructing 2nd century cultural literature context of Roman satire in Early Christian texts - advancedresearch/the_century_of_satire

The website for the AdvancedResearch community

October 25, 2026 at 9:31 AM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

A Primbix is a prime of the form `1 + 2 * r * s` where `r, s` are primes. The special mathematical properties of these primes make Primbixes candidates for galactic scale communication.

For more information about Primbix Research, see advancedresearch.github.io/primbix/prim....

Primbix Research

advancedresearch.github.io

October 25, 2026 at 6:24 AM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

Primbix Research News:

Exhaustive search has now reached 1 quadrillion (1 000 000 000 000 000). This is a goal that I've been working toward for over a year. Just passed this milestone.

I've started double-check the dataset of minimum primbixes per billion up to level 17.

#primbix-research

October 25, 2026 at 6:22 AM

Shoppingz

@shoppingz1.bsky.social

Unlock the Future of Research with BetterLife Bioscience 🔬✨
Coupon Code: 15% off SHOPPINGZ
👇
betterlifebioscience.com?ref=owlvarvn
#BetterLifeBioscience #ResearchPeptides #LabResearch #BiotechResearch #LaboratoryLife #ScienceDriven #AdvancedResearch #Biochemistry #LabSupplies #USA

Shop premium research peptides in the USA from BetterLife Bioscience. USA-made, third-party tested, with 99%+ purity for laboratory research only.

October 24, 2026 at 8:32 AM

Shoppingz

@shoppingz1.bsky.social

Unlock the Future of Research with BetterLife Bioscience 🔬✨
Coupon Code: 15% off SHOPPINGZ
👇
betterlifebioscience.com?ref=owlvarvn
#BetterLifeBioscience #ResearchPeptides #LabResearch #BiotechResearch #LaboratoryLife #ScienceDriven #AdvancedResearch #Biochemistry #LabSupplies #USA

Shop premium research peptides in the USA from BetterLife Bioscience. USA-made, third-party tested, with 99%+ purity for laboratory research only.

Smart De-All for zero-argument Herbrandization · Issue #451 · advancedresearch/hooo

October 16, 2026 at 1:27 PM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

I have an idea of how to solve this: github.com/advancedrese...

Hooo uses sym-blocks and all(..) to avoid explicit need for quantifiers, like in First-Order Logic. The correct inference rules for these features are currently unknown and this implementation uses...

Everything is false · Issue #450 · advancedresearch/hooo

October 14, 2026 at 4:52 PM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

I found a bug in Hooo:

github.com/advancedrese...

The current rules in Hooo are inconsistent. Here is the proof: fn everything_is_false : a -> false { fn test : a -> sym(a, all(a'))(sym(b, b')(a)) { use sym_to_all; x : a; let x2 = x() : sym(b, b')...

October 13, 2026 at 8:16 PM

Shoppingz

@shoppingz1.bsky.social

Unlock the Future of Research with BetterLife Bioscience 🔬✨
Coupon Code: 15% off SHOPPINGZ
👇
betterlifebioscience.com?ref=owlvarvn
#BetterLifeBioscience #ResearchPeptides #LabResearch #BiotechResearch #LaboratoryLife #ScienceDriven #AdvancedResearch #Biochemistry #LabSupplies #USA

Shop premium research peptides in the USA from BetterLife Bioscience. USA-made, third-party tested, with 99%+ purity for laboratory research only.

October 11, 2026 at 8:00 AM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

New blog post:

Progress Report on Starting a Galactic Civilization 2026

This is an informal report on 3 key areas of research:

1. Primbix Research
2. Meta-theorem proving
3. Industrial leverage

advancedresearch.github.io/blog/progres...

October 6, 2026 at 6:40 PM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

Primbix Research News:

Exhaustive search completed up to `0.96e15`.

We reached 96% of the goal of reaching 1 quadrillion.

No new primbix value 20 as been found since last update. The latest primbix of value 19 is the following:

956 702 944 777 919

advancedresearch.github.io/primbix/prim...

October 6, 2026 at 4:35 PM

Shoppingz

@shoppingz1.bsky.social

Unlock the Future of Research with BetterLife Bioscience 🔬✨
Coupon Code: 15% off SHOPPINGZ
👇
betterlifebioscience.com?ref=owlvarvn
#BetterLifeBioscience #ResearchPeptides #LabResearch #BiotechResearch #LaboratoryLife #ScienceDriven #AdvancedResearch #Biochemistry #LabSupplies #USA

Shop premium research peptides in the USA from BetterLife Bioscience. USA-made, third-party tested, with 99%+ purity for laboratory research only.

October 4, 2026 at 10:48 AM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

New paper (first draft):

HOOO EP 2026 Standard

Meta-strength theorem grading will be split into two theorem gradings, by weaking the 3rd axiom in HOOO EP and move over two axioms to a new grading for collapse-strength. This solves the problem of paradox collapse.
github.com/advancedrese...

September 29, 2026 at 12:32 PM

Shoppingz

@shoppingz1.bsky.social

Unlock the Future of Research with BetterLife Bioscience 🔬✨
Coupon Code: 15% off SHOPPINGZ
👇
betterlifebioscience.com?ref=owlvarvn
#BetterLifeBioscience #ResearchPeptides #LabResearch #BiotechResearch #LaboratoryLife #ScienceDriven #AdvancedResearch #Biochemistry #LabSupplies #USA

Shop premium research peptides in the USA from BetterLife Bioscience. USA-made, third-party tested, with 99%+ purity for laboratory research only.

GitHub - advancedresearch/joker_calculus: An implementation of Joker Calculus in Rust

September 24, 2026 at 5:14 AM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

There is a Rust library implementation of Joker Calculus here:

github.com/advancedrese...

An implementation of Joker Calculus in Rust. Contribute to advancedresearch/joker_calculus development by creating an account on GitHub.

path_semantics/papers-wip2/the-island-of-humanity.pdf at master · advancedresearch/path_semantics

September 17, 2026 at 9:03 PM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

Last Order Logic v0.3 is released!

Last Order Logic (LOL) is a "parody language" on First Order Logic, to demonstrate you can design a logical language with better properties in some ways. The REPL enviroment is called, of course "lolz".

This version fixes some bugs.

crates.io/crates/last_...

September 17, 2026 at 8:07 PM

Piston Developers 🍿🥤🐸🧞

@pistondeveloper.bsky.social

I call this strategy "find a path to the beach" in the metaphor that we developed under AdvancedResearch: The Island of Humanity (github.com/advancedrese...)

The "beach" is a place where you can learn to swim safely. The "ocean" is AGI.

A research project in path semantics, a re-interpretation of functions for expressing mathematics - advancedresearch/path_semantics