FromJavaToHaskell
@to_haskell
Software developer. I am learning Haskell programming language.
Вам может понравиться
I am going to start Grok chat with next phrase "Respond concisely: only facts and key deductions. No fluff, praise, or chit-chat." Please let me know if you are using similar techniques.
Computer science principles (cheat code) Here you go: - Hashing to get quick lookups. - Sorting to get quick searches. - Append only to get fast and high throughput writes. - In-memory to get ultra fast writes/reads. - Probabilistic data structures to get fast lookups with…
Today I have learned about 6-7 meme. It took aprox one year for meme to reach its apex. Probably starting from this moment it would start to decline.
We are thrilled to release Velvet: a foundational multi-modal verifier for imperative programs in Lean. It unifies execution, testing, automated and interactive proofs; and is itself proven sound. 💻 github.com/verse-lab/loom 📄 verse-lab.github.io/papers/loom-pr… 🧵 Learn more below ↓
很多人不能合一，合一是非常难的。 比如，我以前认为我读了1000本书，认知很高，但是我发现我依然赚不到钱。 因为我的认识全是在我的想象中，根本就没有去行动。 直到我去行动之后，才知道现实是多么的残酷和内卷，自己以前是多么的无知。…
Struggling with the 3-minute limit on Qwen3-ASR-Flash? No more! Introducing the Qwen3-ASR-Toolkit 🚀 A free, open-source CLI to transcribe HOURS-long audio/video files at high speed. Unleash the full power of the Qwen3-ASR-Flash API! 💥 🧠 Smart VAD splitting (no awkward…
Haskell'25 is calling for talks! Submission is simple -- you just need a talk title and an abstract of no more than 300 words. conf.researchr.org/home/icfp-spla… Deadline Sept 15th!
Woke up today to a guy at Oracle talking about deriving a witness to monoid of Box of T Java is the new Haskell Functional programmers, our victory is complete
A data structure is laid out in space (i.e. memory). The most general data structure is a graph. Nodes point to other nodes (i.e. to their address—their spatial coordinate). There can be cycles. A data structure can evolve over time (i.e. computation mutates it). New nodes can…
🎉 Lean 4.22.0 is here! This marks the culmination of our Year 2 roadmap. Two major highlights: 🧠 grind tactic: New SMT-style automated reasoning with theory-specific solvers and Gröbner basis support 🏗️ New compiler: Closes long-standing issues and sets the foundation for…
code should be easily deleted and rewritten not my code, of course, but yours
Par, an expressive, concurrent, total* language with linear types and full duality. Based on Linear Logic and Session Types, Par has both functional and imperative features integrating seamlessly
My LambdaConf 2025 talk was posted. It's mostly showing tools that we have around visualizing programs and their behavior. youtube.com/watch?v=IdpD5Q…
youtube.com
YouTube
Jonathan Blow - Jai Demo and Design Explanation (KEYNOTE) - Updated
Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY…
youtube.com
YouTube
Developing an application from scratch (Haskell Unfolder #46)
youtube.com
YouTube
A History of Effect Systems – Tom Ellis (Groq, Bluefin)
United States Тренды
- 1. $NVDA 59.7K posts
- 2. #ใครในกระจกEP5 9,341 posts
- 3. #happybdayTYGA N/A
- 4. GeForce Season 4,537 posts
- 5. Peggy 36.7K posts
- 6. Jensen 18.3K posts
- 7. Sumrall 1,778 posts
- 8. Saba 10.9K posts
- 9. Martha 18.5K posts
- 10. Sonic 06 3,486 posts
- 11. Poverty 51K posts
- 12. Jason Crow 1,769 posts
- 13. Comey 53.1K posts
- 14. Stargate 5,680 posts
- 15. Halligan 24.2K posts
- 16. MLB TV 2,124 posts
- 17. The Fugitive 2,774 posts
- 18. NASA 49.8K posts
- 19. Sunday Night Baseball N/A
- 20. #ComunaONada 5,322 posts
Вам может понравиться
-
Matti Palli 🧙♂️
@tritlo -
gelisam
@haskell_cat -
Veronika Romashkina
@vrom911 -
Dad×2_jack
@Iceland_jack -
Daniel Firth (Inspector GADT)
@locallycompact -
sara :: panic! (the 'impossible' happened) 🇺🇦
@typed_hole -
Tom Ellis
@tomjaguarpaw -
WNBPA
@TheWNBPA -
Arnaud Spiwack
@aspiwack -
Avi Dessauer
@AviDessauer -
monadlife
@monadlife -
Mikolaj Konarski
@MikolajKonarski -
Armando Santos
@_bolt12 -
alex sammon
@alex_sammon -
András Kovács
@andrasKovacs6
Something went wrong.
Something went wrong.