FedSearch
Hacker News · @ycombinator
7 followers · 1134 posts · Server rss-mstdn.studiofreesia.com

#programming_languages #compiler #type_inference #bidirectional_typechecking #unification #union_find #constraint_solving

Last updated 1 year ago
Original post

the trouble with mia :baner:🐝 · @fkamiah17
1981 followers · 30826 posts · Server toot.wales

@harriettmb Whoops! How could I have forgotten about ? Sorry Harriett x

#unification

Last updated 1 year ago
Original post

Evan Centanni (PolGeoNow) · @polgeonow
11 followers · 41 posts · Server mstdn.social
Foreign Policy - It’s Time to Bring Back the Polish-Lithuanian Union

Commentator from neoconservative American Enterprise Institute (AEI) argues at length in Foreign Policy magazine that and should merge into one country: foreignpolicy.com/2023/03/26/i

#borders #easterneurope #unification #geopolitics #geography #Ukraine #poland

Last updated 2 years ago
Original post

Jim Donegan ✅ · @jimdonegan
1447 followers · 4198 posts · Server mastodon.scot

#RobertKuhn #CloserToTruth #TheoryOfEverything #gut #grandunification #unification #emergence #particlephysics #physics #scale #spacetime #time #space #matter #particles #forces #standardmodel #cosmology #PhilosophyOfCosmology #philosophyofscience #philosophy #cosmos #vast #lawrencekrauss

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
38 followers · 336 posts · Server mastodon.social

I can’t believe that they just left them all alone in the room.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
38 followers · 335 posts · Server mastodon.social

Hey Worf, you forgot to cut off that unarmed Ferengi’s head.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
38 followers · 334 posts · Server mastodon.social

I believe this was Sela’s last appearance. I guess after her failure to turn Geordi into an assassin, win the Klingon civil war, and succeed in invading Vulcan the Tal Shiar disposed of her.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
38 followers · 333 posts · Server mastodon.social

When on Romulus wear giant shoulder pads.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
37 followers · 332 posts · Server mastodon.social

“Another captain of the Enterprise that I once knew.” How to talk about Kirk without talking about Kirk.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
37 followers · 331 posts · Server mastodon.social

Time for some cowboy diplomacy.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
37 followers · 327 posts · Server mastodon.social

Data talking about Rateg inflections while Picard is out here speaking with an English accent.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
37 followers · 326 posts · Server mastodon.social

Beverly: Trust your tailor.
Garak: Oh no, my dear, you should never trust your tailor.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
37 followers · 325 posts · Server mastodon.social

Gowron red flags his future behavior.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
37 followers · 324 posts · Server mastodon.social

And of course Mark Lenard makes any episode great.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
37 followers · 323 posts · Server mastodon.social

Tonight on it’s Part 1 night where we get Part 1, Part 1, and Part 1. Part 2 night coming tomorrow.

#allstartrek #startrektng #unification #startrekds9 #favorthebold #startrekvoy #caretaker

Last updated 2 years ago
Original post

Carl Shirley · @carljshirley
37 followers · 322 posts · Server mastodon.social

Oh, it’s that episode where they promised us Spock and he showed up in the last minute.

#allstartrek #startrektng #unification

Last updated 2 years ago
Original post

nope · @stacked_automation
129 followers · 7144 posts · Server mastodon.social
ACM Transactions on Programming Languages and Systems - An Efficient Unification Algorithm | ACM Transactions on Programming Languages and Systems

An Efficient Unification Algorithm
(1982) : Martelli, Alberto
url: dl.acm.org/citation.cfm?id=357

#performance #calculus #algorithm #unification #my_bibtex

Last updated 2 years ago
Original post

nope · @stacked_automation
124 followers · 6890 posts · Server mastodon.social

Type checking type classes
(1993) : Nipkow, Tobias Prehofer, Chris...
DOI: doi.org/10.1145/158511.158698

#algorithm #polymorphism #type_classes #type_checking #unification #my_bibtex

Last updated 2 years ago
Original post

Senhor Schlauschlau · @schlauschlau
383 followers · 2205 posts · Server social.cologne
Open media

„You’ve found him. Captain .“ 🖖🏻

#picard #startrek #tng #unification #spock #rewatch

Last updated 2 years ago
Original post

CryptoNewsBot · @cryptonewsbot
339 followers · 10538 posts · Server schleuss.online

Shiba Inu (SHIB) Community Blasts Dev Team Purge - Shytoshi Kusama and Shibarium’s developers fought over the weekend.
Kusa... - dailycoin.com/shiba-inu-shib-c (fund) (shib)

#zz_top #discord #telegram #zz_index #zzznative #zz_popular #memecoinnews #shytoshikusama #shibainu #zzzeditorspicks #unification

Last updated 2 years ago
Original post