Hacker News
- GitHub Privacy Statement https://docs.github.com/en/site-policy/privacy-policies/github-privacy-statement 3 comments
- Show HN: All Federal Reserve Statements from 1994-present on GitHub https://github.com/fomc/statements 2 comments
- GitHub - bwhmather/ssort: Tool for sorting top level statements in python files https://github.com/bwhmather/ssort 3 comments python
- A Chrome Extension that adds direct <a> links to import statements on GitHub source code http://fiatjaf.alhur.es/module-linker/#/go 6 comments golang
- A Chrome Extension that adds links to Hackage module docs on each import statement on GitHub http://fiatjaf.alhur.es/module-linker/#/haskell 28 comments haskell
- A Joint Statement on Recent Events Between Signal and the Anti-Censorship Community · Issue #63 · net4people/bbs · GitHub https://github.com/net4people/bbs/issues/63 123 comments privacy
- A Chrome Extension that adds direct links to Ruby `require` statements right in GitHub source code http://fiatjaf.alhur.es/module-linker/#/ruby 10 comments ruby
- The Future of Interactive Theorem Proving? "Lean Chat, a VS-code extension that provides an interface for autoformalizing natural language theorem statements in Lean. Under the hood, these translation are generated by OpenAI’s Codex, a text generation model trained on Github source code." https://xenaproject.wordpress.com/2022/08/16/the-future-of-interactive-theorem-proving/ 17 comments math