5n

5 ms·

1.
The Ontology Rabbit Hole(haym.me)
2 points by 5n 4mo ago|0 comments
2.
by 5n 3y ago
TextQL is building full self-driving for the modern data stack. We're automating the day to day job of a data analyst, from pulling dashboards to answering data questions straight from a company's data warehouse. Non-technical use
3.
Xlinx VU19P, an FPGA with 9M logic cells(hpcwire.com)
5 points by 5n 4y ago|0 comments
4.
GitHub Copilot and Static Typing = <3(blog.textql.com)
2 points by 5n 4y ago|0 comments
5.
Show HN: Inject VSCode code, errors, and definitions into your ChatGPT prompt(github.com)
2 points by 5n 4y ago|0 comments
6.
by 5n 4y ago
I'm pretty sure that the actual Copilot auto completions are still on GPT3 for speed and cost reasons
7.
The LLaMa Story: How the Internet Summoned an Alien Mind on a Smartphone(leonwu.tech)
2 points by 5n 4y ago|0 comments
8.
Show HN: I made a tool that automatically documents dbt models with GPT-3(github.com)
2 points by 5n 4y ago|0 comments
9.
Compiling to Categories [pdf](conal.net)
2 points by 5n 4y ago|1 comments
10.
by 5n 4y ago
The simply-typed lambda calculus is modeled by any cartesian closed category. That means we can define categories representing domain specific interpretations such as hardware circuits or automatic differentiation, and then execute existing
11.
by 5n 4y ago
Seems like both of them are inspired by Functional Reactive Programing, so yeah, hard to say Elm was foundational
12.
by 5n 4y ago
I've found that knowing categories to the extent that Haskell teaches them through osmosis is useful. For example, knowing functions are functors in the return type and cofunctors in the argument makes grasping co/contravariance i
13.
Highest-Performance Stream Processing in OCaml/Scala(okmij.org)
4 points by 5n 4y ago|0 comments
14.
by 5n 4y ago
In this post I feed GPT-3 a bunch of high-school level CTF problems to see how well it handles basic security and cryptography tasks.
15.
Can GPT-3 Solve CTF Problems?(blog.textql.com)
6 points by 5n 4y ago|2 comments
16.
by 5n 4y ago
It would be really cool if this was a browser extension that talked with the AnkiConnect protocol! Then I could just open it up on an article I like, make some cards, and click which ones I want to add instead of copy and pasting.
17.
Tactic Metaprogramming in Haskell (2018)(totbwf.github.io)
13 points by 5n 4y ago|0 comments
18.
Ask HN: I don't use an IDE, should I be using one?
5 points by 5n 6y ago|3 comments
19.
Epidemiological Modeling with Structured Cospans and Julia(johncarlosbaez.wordpress.com)
15 points by 5n 6y ago|0 comments
20.
by 5n 6y ago
IMO dataframes are the reason why dynamic typing fits data science so well. It's certainly possible to represent a single dataframe as a static type; but representing all the slicing, column removal, joins, etc. is actually pretty hard
21.
by 5n 6y ago
Would be interesting if the Chinese-Japanese ones did homographs on Kanji/Hanzi too!