Kris @lambdakris

Denver, CO Joined October 2015

Tweets

47
Followers

23
Following

176
Likes

383

Kris @lambdakris

4 years ago

I'm curious about using @oNote_SW + @EventModeling + @apachekafka (link: bigmarker.com/evident-system…)

0 0 0 0 0

Kris @lambdakris

9 years ago

@DavidArno thing is how much effort is expended to attain "good design" in #csharp as opposed to #fsharp, as evidenced by the 3 attempts

3 0 1 0 0

Kris @lambdakris

9 years ago

How should one install F# in VS15? Data science workload? Individual comp in dev activities (not compilers)? @VisualStudio @VisualFSharp

1 0 0 0 0

Kris @lambdakris

9 years ago

@7sharp9_exhumed Well... that's because it is trying to address the strong type guarantees of haskell, what is dotnetcore's excuse?

1 0 0 0 0

AngelAvaNelson @aNvjE68qMtRBe

18 Followers 1K Following Living life with vision, purpose, and passion.

SkyEvelyn @Odwuinuc227447

18 Followers 2K Following

SusannaGibbon @o3W14AMEt9qpy

46 Followers 4K Following

Stannous @Stannous1cAD2

33 Followers 4K Following Life is like a dream, someone else's dream, it never ends

Neweysy @neweysy19618

30 Followers 3K Following “Working from the heart with passion is an art!”

Thelloo @Thelloo480766

8 Followers 1K Following

Desarrollo Productivo @Itdesarrollopro

12 Followers 114 Following Comunidad de programadores 💻

The creators and developers of RDFox, a high performance knowledge graph and semantic reasoning engine. https://t.co/AmHBorZmuz

oxfordsemantic @oxfordsemantic

2K Followers 2K Following The creators and developers of RDFox, a high performance knowledge graph and semantic reasoning engine. https://t.co/AmHBorZmuz

New Gen Multi-Model natively supporting Graphs, Documents, Time-Series, KV, SQL, Cypher, Gremlin, MongoDB queries. Apache 2 Open Source License.

Arcade DB @arcade_db

319 Followers 1K Following New Gen Multi-Model natively supporting Graphs, Documents, Time-Series, KV, SQL, Cypher, Gremlin, MongoDB queries. Apache 2 Open Source License.

Solution Architect @AACNMe. Specialized in Azure, .NET, Power Platform. Innovating for our nurses and contributing to the tech community is my mission.

Robert J. Good @goodtocode

3K Followers 4K Following Solution Architect @AACNMe. Specialized in Azure, .NET, Power Platform. Innovating for our nurses and contributing to the tech community is my mission.

Official feed of the 25th International Conference on Web Engineering (June 30 - July 3, 2025)
Tweet and don't forget the hashtag #ICWE2025!

ICWE 2025 @icwe_2025

144 Followers 161 Following Official feed of the 25th International Conference on Web Engineering (June 30 - July 3, 2025) Tweet and don't forget the hashtag #ICWE2025!

Adam Granicz @granicz

2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS

Colin Bull @colinbul

888 Followers 395 Following F#, C#, Legacy wrangler.. physics and a bit of math. Adequate human. Director of engineering and data @hippodigital

We have lost cognitive control due to digital disruption. It's the biggest crisis in the world today. This account shows who to retake control of your brain.

FindFocusNow @FindFocusNow

21K Followers 3K Following We have lost cognitive control due to digital disruption. It's the biggest crisis in the world today. This account shows who to retake control of your brain.

Alan Souza @alansouzati

409 Followers 590 Following Software Engineer @ Airbnb by day, CEO of @TRTApp by night

https://t.co/J9WeN4lSkf is the easiest way for developers to create custom rules for their Github repositories, and get instant notifications of any violations.

GitMonitor @GitMonitorApp

428 Followers 4K Following https://t.co/J9WeN4lSkf is the easiest way for developers to create custom rules for their Github repositories, and get instant notifications of any violations.

Isaac Abraham @isaac_abraham

7K Followers 3K Following Author of Get Programming with F# and F# in Action. NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German.

The brick walls are not there to keep us out; the brick walls are there to give us a chance to show how badly we want something. - Randy Pausch

Tom Pittman @TomPittman7

81 Followers 523 Following The brick walls are not there to keep us out; the brick walls are there to give us a chance to show how badly we want something. - Randy Pausch

Ezra Penland Actuarial Recruitment works with actuaries (actuary), actuarial analysts, catastrophe risk modelers, predictive modelers and executive roles.

Ezra Penland @EzraPenland

73K Followers 83K Following Ezra Penland Actuarial Recruitment works with actuaries (actuary), actuarial analysts, catastrophe risk modelers, predictive modelers and executive roles.

LINQPad for Web Services with Online C# IDE, Hosting, and Imagination Factory for Webhooks, Microservices, Slackbots, and Beyond!

Subroute.io @subroute

271 Followers 2K Following LINQPad for Web Services with Online C# IDE, Hosting, and Imagination Factory for Webhooks, Microservices, Slackbots, and Beyond!

Reuben Bond @reubenbond

6K Followers 1K Following Maintains Microsoft Orleans. Distributed Systems & Databases enthusiast

Goswin Rothenthal @GoswinR

546 Followers 2K Following Architect, Engineer, Computational Designer, ♥ F#

International Female DJ, Producer, loves any type of music- 24 hr radio Create your World- OFFICIAL https://t.co/UHascGppOe

OFFICIAL Carmin Wong @carminspalace

36K Followers 40K Following International Female DJ, Producer, loves any type of music- 24 hr radio Create your World- OFFICIAL https://t.co/UHascGppOe

LangWatch @LangWatchAI

585 Followers 209 Following Open Source LLM Ops & Evaluations Platform https://t.co/CrsnEmal2g ➡️ DSPy Optimizations ➡️ Scenario Agent Simulations

Pioneers in Generative AI, building secure and customizable solutions for enterprises to improve productivity and competitiveness.

LightOn @LightOnIO

4K Followers 825 Following Pioneers in Generative AI, building secure and customizable solutions for enterprises to improve productivity and competitiveness.

Visiting Researcher @MIT_CSAIL under @lateinteraction. PhD student @NotreDame advised by @Meng_CS. Creator of Arbor RL framework for @DSPyOSS

Noah Ziems @NoahZiems

1K Followers 1K Following Visiting Researcher @MIT_CSAIL under @lateinteraction. PhD student @NotreDame advised by @Meng_CS. Creator of Arbor RL framework for @DSPyOSS

An open-source declarative framework for building modular AI software. Programming—not prompting—LLMs via higher-level abstractions & optimizers.

DSPy @DSPyOSS

11K Followers 50 Following An open-source declarative framework for building modular AI software. Programming—not prompting—LLMs via higher-level abstractions & optimizers.

Eugene Yan @eugeneyan

25K Followers 536 Following Principal Applied Scientist @ Amazon. Led ML @ Alibaba, Lazada, Healthtech Series A. Writing @ https://t.co/DEUfIuYC47.

on the CS faculty job market | PhD @Berkeley_EECS, building https://t.co/PmuOqAYt6q | teaching https://t.co/CTWJ6z0JEg | formerly ML eng & undergrad @Stanford

Shreya Shankar @sh_reya

49K Followers 703 Following on the CS faculty job market | PhD @Berkeley_EECS, building https://t.co/PmuOqAYt6q | teaching https://t.co/CTWJ6z0JEg | formerly ML eng & undergrad @Stanford

Daily tutorials and insights on DS, ML, LLMs, and RAGs • Co-founder @dailydoseofds_ • IIT Varanasi • ex-AI Engineer @ MastercardAI

Avi Chawla @_avichawla

51K Followers 144 Following Daily tutorials and insights on DS, ML, LLMs, and RAGs • Co-founder @dailydoseofds_ • IIT Varanasi • ex-AI Engineer @ MastercardAI

Writer https://t.co/TquuQXlLOJ. O'Reilly Author https://t.co/Fl3uPAZHLg. LLM Builder @Cohere. Visualizing AI one concept at a time.

Jay Alammar @JayAlammar

46K Followers 1K Following Writer https://t.co/TquuQXlLOJ. O'Reilly Author https://t.co/Fl3uPAZHLg. LLM Builder @Cohere. Visualizing AI one concept at a time.

Hamel Husain @HamelHusain

39K Followers 2K Following Evals evals evals https://t.co/Zrmp6LRd9c About Me: https://t.co/P6WyeKkyTa

Nils Reimers @Nils_Reimers

14K Followers 514 Following VP AI Search @Cohere | ex-huggingface | Creator of SBERT (https://t.co/MKKOMfuQ4C)

Goku Mohandas @GokuMohandas

14K Followers 139 Following art, bio, ml, tennis, travel

Kùzu @kuzudb

1K Followers 0 Following Kuzu is an embedded graph database built for query speed and scalability. Built by Kùzu Inc. https://t.co/x0n5pvjiHd

Applying category theory and type theory towards enabling machine learning models capable of structured reasoning. Join us: https://t.co/ulK1QuZiry

Symbolica @symbolica

2K Followers 0 Following Applying category theory and type theory towards enabling machine learning models capable of structured reasoning. Join us: https://t.co/ulK1QuZiry

Jo Kristian Bergum @jobergum

19K Followers 1K Following CEO https://t.co/sYmUNgPBq8 - The retrieval engine for agents.

Asst professor @MIT EECS & CSAIL (@nlp_mit).

Author of https://t.co/VgyLxl0oa1 and https://t.co/ZZaSzaRaZ7 (@DSPyOSS).

Prev: CS PhD @StanfordNLP. Research @Databricks.

Omar Khattab @lateinteraction

25K Followers 3K Following Asst professor @MIT EECS & CSAIL (@nlp_mit). Author of https://t.co/VgyLxl0oa1 and https://t.co/ZZaSzaRaZ7 (@DSPyOSS). Prev: CS PhD @StanfordNLP. Research @Databricks.

@cssociety.bsky.social Networking the complexity community since 1999. Official news channel of the Complex Systems Society @CompSysSoc. Edited by @cgershen.

Complexity Digest @cxdig

22K Followers 2K Following @cssociety.bsky.social Networking the complexity community since 1999. Official news channel of the Complex Systems Society @CompSysSoc. Edited by @cgershen.

Afshine Amidi @afshinea

4K Followers 71 Following Ecole Centrale Paris, MIT. Twin of @shervinea. New book on Transformers & Large Language Models: https://t.co/5b89hbceJf

https://t.co/abkb8IjPSH - the open source platform for combining data and AI, online.

Vectors/tensors, full-text, structured data; ML model inference at scale.

vespa.ai @vespaengine

3K Followers 3 Following https://t.co/abkb8IjPSH - the open source platform for combining data and AI, online. Vectors/tensors, full-text, structured data; ML model inference at scale.

Modular @Modular

20K Followers 2 Following The future of AI development starts here. Sign up to our 📪 Newsletter → https://t.co/gpuHGRyHTs. We are hiring → https://t.co/cPTAes0HMt 🚀

Sebastian Raschka @rasbt

358K Followers 1K Following ML/AI researcher & former stats professor turned LLM research engineer. Author of "Build a Large Language Model From Scratch" (https://t.co/O8LAAMRzzW).

The premier research center for #complexsystems #science.
@complexexplorer @sfipress #ComplexityPodcast

https://t.co/0m7JBoR6VG

Santa Fe Institute @sfiscience

66K Followers 1K Following The premier research center for #complexsystems #science. @complexexplorer @sfipress #ComplexityPodcast https://t.co/0m7JBoR6VG

Professor, Santa Fe Institute. Mostly posting on https://t.co/4NpA2IL5Va (at-melaniemitchell). More thoughts at https://t.co/nC43NHRozX.

Melanie Mitchell @MelMitchell1

49K Followers 673 Following Professor, Santa Fe Institute. Mostly posting on https://t.co/4NpA2IL5Va (at-melaniemitchell). More thoughts at https://t.co/nC43NHRozX.

NVIDIA Director of Robotics & Distinguished Scientist. Co-Lead of GEAR lab. Solving Physical AGI, one motor at a time. Stanford Ph.D. OpenAI's 1st intern.

Jim Fan @DrJimFan

327K Followers 3K Following NVIDIA Director of Robotics & Distinguished Scientist. Co-Lead of GEAR lab. Solving Physical AGI, one motor at a time. Stanford Ph.D. OpenAI's 1st intern.

WikiResearch @WikiResearch

18K Followers 1K Following Research news on @Wikipedia @Wikidata @Wikimedia, hot off the press. Volunteer-curated by @tilmanbayer & @mad_astronaut. Read our newsletter for full coverage

tldraw @tldraw

69K Followers 13 Following infinite canvas | https://t.co/oXL4NAc6P8 | https://t.co/dO6WPp6YOI | https://t.co/beo7WsKiVe | /tiː ɛl drɔː/

NeurIPS workshop and digital community | 🌐 geometry, algebra, topology + 🤖 deep learning + 🧠 neuroscience | Join us on slack! https://t.co/Run9wPnrDB

Symmetry and Geometry... @neur_reps

5K Followers 1K Following NeurIPS workshop and digital community | 🌐 geometry, algebra, topology + 🤖 deep learning + 🧠 neuroscience | Join us on slack! https://t.co/Run9wPnrDB

CB Wells @c0b1w2

607 Followers 660 Following Logic. Global ecological crisis.

Jerry Liu @jerryjliu0

66K Followers 1K Following co-founder/CEO @llama_index Careers: https://t.co/EUnMNmbCtx Enterprise: https://t.co/Ht5jwxSrQB

Prashanth Rao @tech_optimist

2K Followers 2K Following AI engineer working with graphs & LLMs @kuzudb. Blogging about AI @ https://t.co/gLektr01zQ and https://t.co/QT8Lnl6WPB

Information Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL

Frank Nielsen @FrnkNlsn

36K Followers 2K Following Information Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL

We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.

Anthropic @AnthropicAI

647K Followers 35 Following We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.

Build AI agents over your documents

Github: https://t.co/HC19j7veGE
Docs: https://t.co/QInqg2yMCJ
LlamaCloud: https://t.co/yQGTiRSfFL

LlamaIndex 🦙 @llama_index

102K Followers 28 Following Build AI agents over your documents Github: https://t.co/HC19j7veGE Docs: https://t.co/QInqg2yMCJ LlamaCloud: https://t.co/yQGTiRSfFL

Pinecone is the leading vector database for building accurate and performant AI applications at scale in production.

Pinecone @pinecone

27K Followers 146 Following Pinecone is the leading vector database for building accurate and performant AI applications at scale in production.

BabyAGI @babyAGI_

12K Followers 12 Following Official BabyAGI account. My dad is @yoheinakajima. Discord https://t.co/50VlfRYMI6

LangChain @LangChainAI

215K Followers 40 Following ⚡ Build context-aware, reasoning applications ⚡

James Briggs @jamescalam

10K Followers 214 Following AI - https://t.co/rLYkOCGxqD - https://t.co/aydfSKDCBB

Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.

Andrej Karpathy @karpathy

1.4M Followers 1K Following Building @EurekaLabsAI. Previously Director of AI @ Tesla, founding team @ OpenAI, CS231n/PhD @ Stanford. I like to train large deep neural nets.

Garrett Scott 🕳 @thegarrettscott

34K Followers 4K Following CEO at @pipedream_labs and https://t.co/X9jiHuGL8u // Making hyperlogistics happen this decade.

Open-access, strictly peer-reviewed journal publishing in all established and emerging fields benefiting from quantitative network-based modeling

Applied NetSci @appliednetsci

961 Followers 181 Following Open-access, strictly peer-reviewed journal publishing in all established and emerging fields benefiting from quantitative network-based modeling

Professor @Wharton studying AI, innovation & startups. Democratizing education using tech
Book: https://t.co/CSmipbJ2jV
Substack: https://t.co/UIBhxu4bgq

Ethan Mollick @emollick

290K Followers 578 Following Professor @Wharton studying AI, innovation & startups. Democratizing education using tech Book: https://t.co/CSmipbJ2jV Substack: https://t.co/UIBhxu4bgq

François Chollet @fchollet

576K Followers 817 Following Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.

Build Logical Twins from Logic, Schema and Data.

📊 Visualisations
📑 Accelerates insights
🖥️ Local+Cloud
🧑‍💻 GraphQL, RDF, datalog and APIs

Follow us⤴️

DFRNT | The Logical T... @DFRNT_com

99 Followers 41 Following Build Logical Twins from Logic, Schema and Data. 📊 Visualisations 📑 Accelerates insights 🖥️ Local+Cloud 🧑‍💻 GraphQL, RDF, datalog and APIs Follow us⤴️

Building with AI agents @dair_ai • Prev: Meta AI, Galactica LLM, Elastic, PaperswithCode, PhD • I share insights on how to build with AI Agents ↓

elvis @omarsar0

266K Followers 680 Following Building with AI agents @dair_ai • Prev: Meta AI, Galactica LLM, Elastic, PaperswithCode, PhD • I share insights on how to build with AI Agents ↓

Robert Nishihara @robertnishihara

9K Followers 782 Following Co-founder @anyscalecompute. Co-creator of @raydistributed. Previously PhD ML at Berkeley.

Clémentine Fourrier ... @clefourrier

6K Followers 406 Following Evals @HuggingFace 🐍✨ "The future is already here, it’s just not very evenly distributed" (Gibson) Not an AGI believer, LLMs are good at form not substance

PyG @PyG_Team

3K Followers 4 Following Graph Neural Network Library for PyTorch

NebulaGraph is an #opensource distributed #Graphdatabase with high throughput and low latency for super large scale datasets
Slack: https://t.co/wydFwOhXRc

NebulaGraph @NebulaGraph

2K Followers 774 Following NebulaGraph is an #opensource distributed #Graphdatabase with high throughput and low latency for super large scale datasets Slack: https://t.co/wydFwOhXRc