HN user

yeesian

557 karma

yeesian.com

Posts89
Comments10
View on HN
oberdieck.dk 1y ago

Goodbye Python-Mip?

yeesian
1pts0
esmeralda.org 1y ago

Esmeralda

yeesian
20pts18
d-krupke.github.io 1y ago

Coding Patterns – The CP-SAT Primer

yeesian
2pts0
arxiv.org 1y ago

A Strengthened Implementation of CuPDLP for Linear Programming by C Language

yeesian
1pts0
pubsonline.informs.org 1y ago

Understanding the Decline of Impact Factors in Informs Journals

yeesian
1pts0
arxiv.org 1y ago

Towards Large Language Models as Copilots for Theorem Proving in Lean

yeesian
3pts0
arxiv.org 2y ago

Exploring the Limits of Transfer Learning with a Unified Transformer (2019)

yeesian
12pts1
github.com 2y ago

How do I get started with Jax on TPU VMs

yeesian
23pts17
lre.baulab.info 2y ago

Linearity of Relation Decoding in Transformer Language Models

yeesian
1pts0
arize.com 2y ago

LLM Evaluation: Everything You Need to Run, Benchmark Evals

yeesian
2pts0
web.stanford.edu 2y ago

Speech and Language Processing (3rd ed. draft)

yeesian
214pts32
www.readtrung.com 2y ago

The Greatest Meme Template

yeesian
31pts9
blog.dottxt.co 2y ago

Coalescence: Making LLM inference 5x faster

yeesian
5pts0
lmsys.org 2y ago

Fast JSON Decoding for Local LLMs with Compressed Finite State Machine

yeesian
1pts0
vaughntan.org 2y ago

Generative Uncertainty

yeesian
7pts0
www.swyx.io 2y ago

My Life as a Con Man (2020)

yeesian
4pts0
til.simonwillison.net 2y ago

Using llama-cpp-Python grammars to generate JSON

yeesian
2pts0
aclanthology.org 2y ago

Finite-State Transducers in Language and Speech Processing (1997)

yeesian
3pts1
en.wikipedia.org 2y ago

Finite-State Transducer

yeesian
6pts1
www.openfst.org 2y ago

OpenFst Python Extension

yeesian
4pts1
chevrotain.io 2y ago

Chevrotain: Parser Building Toolkit for JavaScript

yeesian
1pts0
medium.com 2y ago

Peg Parsers (2019)

yeesian
1pts1
github.com 2y ago

Ohm: A library and language for building parsers, interpreters, compilers, etc

yeesian
108pts21
arxiv.org 2y ago

Grammar Prompting for Domain-Specific Language Generation with LLMs

yeesian
1pts1
c2.com 2y ago

Alternate Hard and Soft Layers

yeesian
1pts1
cacm.acm.org 2y ago

The decline of computers as a general-purpose technology (2021)

yeesian
242pts231
samlikes.pizza 2y ago

God Give Me a Sine: Adventures in Interval Arithmetic (2021)

yeesian
3pts0
www.youtube.com 2y ago

A worker-centered approach to convex optimization in engineering design [video]

yeesian
2pts0
buttondown.email 2y ago

Structuring Technical Blog Posts

yeesian
3pts0
buttondown.email 2y ago

NP-hard does not mean easy

yeesian
4pts0

Relatedly:

Llama: Add grammar-based sampling - https://news.ycombinator.com/item?id=36819906 (105 comments)

ReLLM: Exact Structure for Large Language Model Completions - https://news.ycombinator.com/item?id=35829399 (13 comments)

Show HN: Structured output from LLMs without reprompting - https://news.ycombinator.com/item?id=36750083 (54 comments)

Show HN: LLMs can generate valid JSON 100% of the time - https://news.ycombinator.com/item?id=37125118 (303 comments)

A guidance language for controlling LLMs - https://news.ycombinator.com/item?id=35963936 (190 comments)

LMQL: A query language for programming (large) language models - https://news.ycombinator.com/item?id=35956484 (12 comments)

(This is more of a link-dump than a paper discussion --)

For the line of inquiry w.r.t tensor compilers and MLIR/LLVM (linalg, polyhedral, [sparse_]tensor, etc), I personally found the following really helpful: https://news.ycombinator.com/item?id=25545373 (links to a survey), https://github.com/merrymercy/awesome-tensor-compilers

I also have an interest in the community more widely associated with pandas/dataframes-like languages (e.g. modin/dask/ray/polars/ibis) with substrait/calcite/arrow their choice of IR. Some links: https://github.com/modin-project/modin, https://github.com/dask/dask/issues/8980, https://news.ycombinator.com/item?id=16510610, https://news.ycombinator.com/item?id=35521785

I broadly classify them as such since the former has a stronger disposition towards linear/tensor-algebra, while the latter towards relational algebra, and it isn't yet clear (to me) how well innovations in one carry over to the other (if they do), and hence I'm also curious to hear more about proposals for a unified language across linalg and relational alg (e.g. https://news.ycombinator.com/item?id=36349015).

I'm particularly interested in pandas precisely because it seems to be right at the intersection of both forms of algebra (and draws a strong reaction from people who are familiar/comfortable with one community and not the other). See e.g. https://datapythonista.me/blog/pandas-20-and-the-arrow-revol... and https://wesmckinney.com/blog/apache-arrow-pandas-internals/