Serokell

1.3K posts

Serokell banner
Serokell

Serokell

@serokell

The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI

Katılım Kasım 2015
4.8K Takip Edilen7K Takipçiler
Sabitlenmiş Tweet
Serokell
Serokell@serokell·
Serokell's GHC team published a task breakdown for Dependent Types in Haskell, covering both planned changes and the recent history of related work (2018–2024). Check it out: ghc.serokell.io/dh
English
1
14
67
13.8K
Dmitrii Kovanikov
Dmitrii Kovanikov@ChShersh·
If you're into gamedev and C++, I highly recommend following @lisyarus. Not only here's one of the smartest and most talented mathematicians, physicists and C++ devs I know. I'm also grateful I studied with him at ITMO University. I learned a lot.
Dmitrii Kovanikov tweet media
Nikita Lisitsa@lisyarus

A new devlog about my village building game! 📺 Learn about how and why I transformed my game's world from a tiny 200m patch to a mighty 100km island! 🔥 Link below 👇 #gamedev #indiedev #indiegames #devlog

English
20
124
2.8K
158.7K
Serokell
Serokell@serokell·
We are looking for a Protocol Engineer to join our team and work on blockchain infrastructure and protocol-level components. serokell.io/jobs/protocol-…
English
2
0
1
235
Serokell
Serokell@serokell·
In this blog post, we’ll discuss the peculiarities of Solana and its architecture and cover the basics of developing smart contracts on it. serokell.io/blog/solana-sm…
English
1
0
3
208
Serokell
Serokell@serokell·
This interview covers how JetBrains supports Rust language, why they launched RustRover, and how user data drives focus on debugging, async workflows, and cargo-nextest. Today’s guest is the Head of the Rust Ecosystem at @jetbrains, @VBragilevsky. serokell.io/blog/rust-in-p…
English
0
3
5
1.1K
Serokell
Serokell@serokell·
We're among the top AI agent providers! Thanks to @clutch_co for recognizing our efforts!
Serokell tweet media
English
0
1
0
348
Serokell
Serokell@serokell·
GenAI hype is everywhere, but an MIT-backed 2025 study finds 95% of organizations see no measurable ROI despite $30–40B in spend. We unpack the “GenAI Divide” and how to move from pilots to real business impact. serokell.io/blog/beyond-th…
English
0
0
3
412
Serokell
Serokell@serokell·
Emerging systems such as MemGPT and modular agent frameworks point toward a future of autonomous, self-managing memory. serokell.io/blog/design-pa…
English
1
1
2
345
Serokell
Serokell@serokell·
We’re temporarily not shipping the best Haskell merch to the U.S., but we’re happy to send orders to other locations. Premium cotton tees packed with stickers. Perfect for your Haskell best friend, but we don’t mind if you gift our tee to your enemy. shop.serokell.io
English
0
0
5
450
Serokell retweetledi
Chris Fanchi
Chris Fanchi@bignorthchris·
🤔 Is AI capable of learning from its own mistakes? A fascinating point that Arseniy Seroka, CEO of @blooper_ai and @serokell, brought up on my podcast earlier this year, is that AI is trained on our data - and that includes our mistakes. We were discussing open sourcing code, and the risk-reward of doing so, and Arseniy made a great comment: "Just by stealing the code, you don't get the idea of the code. You don't get the possibility to expand it. You don't get the knowledge behind the team." AI is getting the raw code, but it's not getting the knowledge developed over weeks, months, or years of iteration to reach that point. And if the code is incomplete, or worse, broken - can the AI make the necessary corrections if none were available in its training data? This is the true measure of AI and the question of its ability to actually "create" rather than simply reproduce what's already been created. So, my question for you today: do you think AI will achieve the ability to create on its own? Do you think some models already have?
GIF
English
0
2
4
352
Serokell
Serokell@serokell·
The agent hype cycle is peaking. After building real systems, we’ve seen the math, the costs, and the engineering reality. Most of the hype just doesn’t survive production. Here’s what actually works — and what doesn’t: serokell.io/blog/the-real-…
English
2
2
5
451
Serokell
Serokell@serokell·
Hiring Technical Sales Executive (remote) at Serokell. Must: technical degree, 3+ yrs closing B2B IT consulting/custom software, outbound hunter, great at CTO/C-level meetings, clear English. Not SDR-only. DM with CV + biggest closed deal. serokell.io/jobs/technical…
English
0
0
1
359
Serokell
Serokell@serokell·
In this article, we will introduce you to the concept of kinds. Then, we’ll use our newfound knowledge to understand what higher-kinded types are and what makes them useful. serokell.io/blog/kinds-and…
English
0
1
14
908
Serokell
Serokell@serokell·
@daemonfire I mean, it's stylish with MacOS and functional touchbar:)
English
0
0
0
12
jf
jf@daemonfire·
@serokell Does it have Linux on it? If so would you mind linking the driver/config setup? PS: it’s an intel CPU one. Not the 13“ touchbar M1. Also I do not understand your reply. If I install Linux on it and the touchbar does not work it’s neither stylish nor functional.
English
1
0
1
21
Serokell
Serokell@serokell·
Our Software Engineer Alexey Danilevsky recently experimented with installing NixOS on his 2007 iMac. The result? A responsive, secure, and functional computer that can browse, work with documents, and stream media. Read the full article: lnkd.in/ejM8nqe5
English
2
3
22
2.3K
Serokell
Serokell@serokell·
@daemonfire at least it's stylish (writing from MacBook with touchbar)🤝
English
1
0
0
23
jf
jf@daemonfire·
@serokell My problem is my old MacBookPro has the touchbar and I am not sure if there is any meaningful driver support for it.
English
1
0
0
35