camilochs

7 ms·

1.
From Hand-Crafted to LLM-Based Variation Operators in Metaheuristics(camilochs.github.io)
1 points by camilochs 4d ago|0 comments
2.
A visualization of how a codebase was produced, not who produced it(codecurrents.artificialfallibility.com)
2 points by camilochs 6d ago|0 comments
3.
by camilochs 9d ago
I rewrote it. The "how young this is" section is gone, and the design section is now in my own words. Thanks for the push!
4.
by camilochs 12d ago
The thing is, my goal was to enhance the text editor and improve the error messages, but not to abandon TeX. That's the price I have to pay.
5.
by camilochs 12d ago
I added types because I wanted a better text editor for LaTeX; I was tired of using Overleaf, so I created Vitela ( https://vitela.artificialfallibility.com/ ). Types provide me with useful information before compiling, simil
6.
by camilochs 12d ago
Types are just the mechanism. The real problem is the one fph pointed out: LaTeX reports errors in its own terms instead of the author’s, and review comments live somewhere else. Gradual typing is simply how the compiler can understand the
7.
by camilochs 12d ago
It does not take some other language and compile it down to LaTeX. LaTeX itself is the source, and it goes through unchanged. What ExactTeX adds is a layer of checks and diagnostics based on the names and annotations you introduce. If anyth
8.
by camilochs 12d ago
I agree that Typst is nicer to write. The difference is simply in the approach. Typst replaces LaTeX and expects you to migrate, while ExactTeX is a strict superset. You can rename a `.tex` file to `.xtex`, keep the exact same output, and a
9.
by camilochs 12d ago
Yes, Claude, good ear :) The compiler was built with agents; the repo has an AGENTS.md describing how they're used. Without them this would have taken me months instead of days. But the design is mine, and so are the mistakes. The deci
10.
ExactTex. A gradually-typed superset of LaTeX(github.com)
28 points by camilochs 16d ago|22 comments
11.
Vitela. A free, type-safe alternative to Overleaf(vitela.artificialfallibility.com)
2 points by camilochs 17d ago|0 comments
12.
A Multilingual Auditor-Judge Safety Benchmark for Emotional-Support Chatbots(alphaxiv.org)
1 points by camilochs 3mo ago|0 comments
13.
How to Stress-Test LLM Judges Fairly(alphaxiv.org)
2 points by camilochs 4mo ago|0 comments
14.
Code Structure Evolution: When Software Outlives Its Reasons(papers.ssrn.com)
1 points by camilochs 4mo ago|0 comments
15.
When generative AI makes mistakes, are they the same as human errors?(link.springer.com)
1 points by camilochs 5mo ago|1 comments
16.
Geakg: Generative Executable Algorithm Knowledge Graphs(arxiv.org)
1 points by camilochs 6mo ago|0 comments
17.
The Specification Gap: Coordination Failure Under Partial Knowledge in Agents(researchgate.net)
1 points by camilochs 6mo ago|0 comments
18.
Architectures of Error: A Philosophical Inquiry into Human and AI Code(link.springer.com)
1 points by camilochs 6mo ago|0 comments
19.
Combinatorial Optimization for All: Using LLMs to Aid Non-Experts(journal.iberamia.org)
1 points by camilochs 7mo ago|0 comments
20.
Code World Models for Parameter Control in Evolutionary Algorithms(alphaxiv.org)
7 points by camilochs 7mo ago|0 comments
21.
Architectures of Error: A Philosophical Inquiry into Human and AI Code(papers.ssrn.com)
1 points by camilochs 7mo ago|0 comments
22.
Coherent Without Grounding, Grounded Without Success (Philosophy and LLMs)(papers.ssrn.com)
3 points by camilochs 7mo ago|0 comments
23.
Code Evolution: Self-Improving Software with LLMs and Python(github.com)
2 points by camilochs 10mo ago|0 comments
24.
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA(researchgate.net)
1 points by camilochs 1y ago|0 comments
25.
STN Analytics. A tool for the visual analysis of Search Trajectory Networks(stnweb.surge.sh)
1 points by camilochs 1y ago|0 comments
26.
Metaheuristics and Large Language Models Join Forces(ieeexplore.ieee.org)
2 points by camilochs 1y ago|0 comments
27.
A Philosophical Inquiry into AI-Generated and Human-Generated Code(papers.ssrn.com)
1 points by camilochs 1y ago|0 comments
28.
Architectures of Error|A Philosophical Inquiry into AI and Human Code Generation(researchgate.net)
1 points by camilochs 1y ago|0 comments
29.
An Interview with Jeffrey Ullman (ACM Turing Award) English/Spanish(camilocs.substack.com)
2 points by camilochs 1y ago|0 comments
30.
Combinatorial Optimization for All: Leveraging LLMs to Assist Non-Experts(camilochs.github.io)
1 points by camilochs 2y ago|0 comments

More ›