HNHacker News
TopNewBestAskShowJobs

efm

598 karma · joined July 6, 2013

OpenShift. ML. Formal Methods. Founder tummy.com, Linux SysAdmin/Ops and Managed Dedicated Hosting. github:evelynmitchell twitter: tummycom
submissionscomments
efm··on Finding treasures with physics: the fingerprint matrix
The interesting fingerprints are the ones which are different than the surrounding material.
efm··on The Universal Tech Tree
Thanks for doing this research!

The information is organized clearly by date, technology and predecessor/descendant.

But,technology continues to improve, and this site has no database or github for continuing to update with new tech or to fill in the gaps.

This website format also makes it difficult to do other forms of analysis.

I wonder if the authors would make the data available in a knowledge graph form.

efm··on SmolGPT: A minimal PyTorch implementation for training a small LLM from scratch
Karpathy's nanoGPT has a full training pipeline using Shakespeare. [1]

The use case for this is learning in simple example.

[1] https://github.com/karpathy/nanoGPT

efm··on Colorado scrambles to change voting-system passwords after accidental leak
No one has mentioned 2FA. I suspect the passwords are not all that is needed.
efm··on Scythe Works Without Borders
The Future is already here, it's just unevenly distributed. William Gibson

What is the skill tree of development, and how do we speed run it?

efm··on Death Cafe
If you are looking for this sort of community, you may find Jane Miller a good guide.

https://janemiller.xyz/death-care/#moon

She offers regular group meetings on how to navigate the cycles of life and death.

efm··on The Annotated S4
DSS: Diagonal State Spaces are as Effective as Structured State Spaces (https://arxiv.org/abs/2203.14343)

S4D: On the Parameterization and Initialization of Diagonal State Space Models (https://arxiv.org/abs/2206.11893)

efm··on Ask HN: What materials to consume to gain knowledge about cutting edge ML?
I read a new paper a day with a study group, and when I do not understand something, look at the prior work references. A well written paper is an introduction to the area, and few will help catch you up. Read them closely, there are clues in the details. Then attempt to implement the algorithm, on a tiny example. It's slow going in the beginning but you will catch up. A study group helps.
efm··on How An ASML Lithography Machine Moves a Wafer [video]
Brendan Greg, illustrating the effectiveness of dtrace, by shouting in a datacenter[1]

[1] https://www.youtube.com/watch?v=tDacjrSCeq4

efm··on Consistently Achieving Goals
You got the spelling of the url incorrect.
efm··on Bletchley Park codebreaker Margaret Betts has died
Mar Hicks' book Programmed Inequality [1] is some of the story of how post-war Britain lost the lead in computing.

[1] https://mitpress.mit.edu/9780262535182/programmed-inequality...

efm··on Kris Nóva has died
I also only spoke with Nova once. She was kind and helpful beyond what I could have hoped for.

Her energy and enthusiasm for life shone like a bright star.

She will be missed.

efm··on Secure Software Development Framework (SSDF)
Following these practices should help software producers reduce the number of vulnerabilities in released software, mitigate the potential impact of the exploitation of undetected or unaddressed vulnerabilities, and address the root causes of vulnerabilities to prevent future recurrences.
efm··on Lo-Fi ATC
It reminds me more of SomaFM's Mission Control[1], which plays music overlaid with NASA mission audio.

[1] https://somafm.com/missioncontrol/

efm··on Path to a free, self-taught education in Computer Science
FreeCodeCamp is good. Practical tutorials to build real things all the way up to deep theory.
efm··on Data-first and data-last: a comparison
There is a convention in functional languages that consists on passing the "data" or "object" that will be processed by the function as the last parameter to a function. This is commonly known as "data-last".
efm··on Human-Centered Documentation for Web Developers
Ubuntu has a built in screen reader, Orca [1].

"Welcome to Orca Orca is a free, open source, flexible, and extensible screen reader that provides access to the graphical desktop via speech and refreshable braille. Orca works with applications and toolkits that support the Assistive Technology Service Provider Interface (AT-SPI), which is the primary assistive technology infrastructure for Linux and Solaris. Applications and toolkits supporting the AT-SPI include the GNOME Gtk+ toolkit, the Java platform's Swing toolkit, LibreOffice, Gecko, and WebKitGtk. AT-SPI support for the KDE Qt toolkit is being pursued." [1] https://help.ubuntu.com/stable/ubuntu-help/a11y-screen-reade...

efm··on Poker Chip Flipping Puzzle
Poker chip flipping puzzle
efm··on Journey to the Edge of Reason: The life of Kurt Gödel
Correction: "Logical Dilemmas" by John Dawson
efm··on ML Beyond Curve Fitting: An Intro to Causal Inference and Do-Calculus (2018)
I recommend the book (free online): https://www.hsph.harvard.edu/miguel-hernan/causal-inference-... and the associated Coursera course. It's both simple and subtle to be able to get causality out of observational data.
efm··on Fountain pen ink properties
I like the HP Premium 32 paper for use with fountain pens. Smooth surface that ink glides onto.
efm··on Ask HN: Learning DSP witha software development background?
Alan Downey's Think DSP : https://greenteapress.com/wp/think-dsp/ Free, python, code examples in Juypter notebooks.
efm··on New Tricks for an Old Z-Machine, Part 3: A Renaissance Is Nigh
Emily Short https://emshort.blog/my-work/
efm··on The July Galileo Outage: What happened and why
Thanks for writing this.

The title doesn't mention that Galileo is a Global Navigation System (GPS).

efm··on Ask HN: Techno Thriller Book Recommendation
_Factorman_ by Matt Ginsberg, is a thriller based on the premise that a researcher solves P=NP.

https://www.amazon.com/Factor-Man-Matt-Ginsberg/dp/099975711...

Daniel Suarez' Daemon and the sequel Freedom(TM) https://www.amazon.com/gp/product/1524741892

efm··on Ask HN: What are some resources to improve speaking skills?
Patrick Winston of MIT gave a good series of lectures on how to give a presentation: https://www.youtube.com/playlist?list=PL9F536001A3C605FC His explanation of why writing things on a board and slow pacing is helpful for your audience made sense to me.
efm··on Org-mode on web, built with React, for mobile, synced with Dropbox, Google Drive
I've created a pull request to fix this: https://github.com/DanielDe/org-web/pull/52
efm··on Zachademics: Free games for schools
It's available online https://www.robotodyssey.online/
efm··on Aphex Twin Speaks to Tatsuya Takahashi (2017)
A good overview of his music is this top 20 article on the 25th anniversary of Selected Ambient Works Volume II https://www.theguardian.com/music/2019/feb/28/aphex-twin-bes...
efm··on Elementary Applied Topology (2014)
Ghrist's youtube channel might be a good place to start: https://www.youtube.com/channel/UC5N5pRddyicAX1QJyJjIIdg
Page 1 of 4Next →