Hacker News: datascientist

AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura

datascientist — Thu, 29 Oct 2026 15:29:48 +0000

Article URL: https://thedataexchange.media/leo-de-moura-lean-aws/

Comments URL: https://news.ycombinator.com/item?id=50290652

Points: 208

# Comments: 50

New comment by datascientist in "Gene Hackman has died"

datascientist — Thu, 27 Feb 2025 20:19:40 +0000

Mississippi Burning is one my favorite films https://en.wikipedia.org/wiki/Mississippi_Burning

New comment by datascientist in "[dead]"

datascientist — Mon, 13 Jan 2025 23:59:54 +0000

alternative link: http://archive.today/PJIHr

New comment by datascientist in "Ending our third party fact-checking program and moving to Community Notes model"

datascientist — Wed, 08 Jan 2025 02:08:35 +0000

https://gradientflow.com/the-moderation-dilemma-a-balanced-l...

New comment by datascientist in "DataChain: DBT for Unstructured Data"

datascientist — Tue, 05 Nov 2024 01:29:00 +0000

How does this relate to https://github.com/lancedb/lance

New comment by datascientist in "The Open Source AI Definition RC1 Is Available for Comments"

datascientist — Wed, 09 Oct 2024 19:29:39 +0000

also see https://gradientflow.com/open-source-principles-in-foundatio...

New comment by datascientist in "The Dual LLM pattern for building AI assistants that can resist prompt injection"

datascientist — Mon, 15 May 2023 17:53:21 +0000

Alignment is hard: "If the LLM has finite probability of exhibiting negative behavior, there exists a prompt for which the LLM will exhibit negative behavior with probability 1." Source: Fundamental Limitations of Alignment in LLMs https://arxiv.org/abs/2304.11082

New comment by datascientist in "Laion-5B: A new era of open large-scale multi-modal datasets"

datascientist — Tue, 13 Dec 2022 02:38:36 +0000

Creators of the data quality tool for computer vision, fastdup, continue to improve on their free release https://github.com/visual-layer/fastdup

Here's a short video of some recent results for LAION 400M https://www.youtube.com/watch?v=dlRCm29Upu4

New comment by datascientist in "Airflow's Problem"

datascientist — Tue, 02 Aug 2022 18:13:04 +0000

Recent perspectives from the creators of Prefect, Dagster, Flyte, and Orchest => https://gradientflow.com/summer-of-orchestation/

New comment by datascientist in "Comprehensive Guide on Data Visualization with Pandas"

datascientist — Mon, 16 Sep 2019 15:46:02 +0000

If you need to scale out or speedup pandas, there's Modin https://modin.readthedocs.io/en/latest/ (which uses Ray from)

New comment by datascientist in "Neural Networks, Manifolds, and Topology (2014)"

datascientist — Tue, 12 Feb 2019 22:38:44 +0000

Gunnar Carlsson will be teaching a related tutorial ("Using topological data analysis to understand, build, and improve neural networks") on April 16th in New York City https://conferences.oreilly.com/artificial-intelligence/ai-n...

New comment by datascientist in "Building an AlphaZero AI using Python and Keras"

datascientist — Sat, 27 Jan 2018 04:30:41 +0000

RISE Lab's Ray platform (now includes RLlib) is another option https://www.oreilly.com/ideas/introducing-rllib-a-composable...

New comment by datascientist in "PyTorch – Tensors and Dynamic neural networks in Python"

datascientist — Tue, 24 Jan 2017 02:59:01 +0000

Chainer's Define-by-run apporach is also described here https://www.oreilly.com/learning/complex-neural-networks-mad...

New comment by datascientist in "Ask HN: What's the state of the job market in data science and machine learning?"

datascientist — Thu, 22 Dec 2016 18:53:37 +0000

A few months ago Mikio Braun wrote a great post on this topic (the need for data scientists with strong software development skills) https://www.oreilly.com/ideas/what-is-hardcore-data-science-...