HN user

vermorel

81 karma

CEO at https://www.lokad.com/ Blog at https://blog.vermorel.com/

Posts27
Comments54
View on HN
github.com 3mo ago

Utf8Regex – UTF-8 Regex for .NET (using SIMD/AVX)

vermorel
1pts0
www.lokad.com 7mo ago

Holimization: Why Optimization Is Not Enough

vermorel
2pts0
www.lokad.com 9mo ago

Introduction to Supply Chain (Book)

vermorel
2pts1
news.ycombinator.com 1y ago

Ask HN: Impact of LLMO (SEO for LLM) on software vendors?

vermorel
1pts5
www.lokad.com 2y ago

An opinionated review of the Yann LeCun interview with Lex Fridman

vermorel
1pts2
news.ycombinator.com 2y ago

Ask HN: Standard chatbot endpoints for websites? (ala RSS)

vermorel
1pts0
news.ycombinator.com 3y ago

Ask HN: Can GPT improve itself ala AlphaGo Zero?

vermorel
2pts2
blog.lokad.com 3y ago

The Role of IT

vermorel
3pts0
www.proquest.com 3y ago

The probability of completely automated teaching (1962) [pdf]

vermorel
3pts0
blog.lokad.com 4y ago

Envision VM (part 4), Distributed Execution

vermorel
2pts0
blog.lokad.com 4y ago

Envision VM (Part 3), Atoms and Data Storage

vermorel
1pts0
blog.lokad.com 4y ago

Envision VM (Part 2), Thunks and the Execution Model

vermorel
1pts0
blog.lokad.com 4y ago

Envision VM (Part 1), Environment and General Architecture

vermorel
1pts0
github.com 4y ago

SshRun, run .NET code remotely over SSH

vermorel
2pts1
news.ycombinator.com 5y ago

Ask HN: Optical Hardware Displacement Law?

vermorel
2pts2
www.youtube.com 5y ago

Adversarial market research for enterprise software

vermorel
1pts0
news.ycombinator.com 5y ago

Ask HN: List of failed Smart Fridge startups?

vermorel
25pts14
blog.vermorel.com 5y ago

Remarkable software engineers write remarkable code

vermorel
3pts0
nicollet.net 5y ago

The Vanishing Schema Paradox

vermorel
2pts0
blog.vermorel.com 6y ago

Large scale reuse of FFP2 and N95 masks

vermorel
3pts2
blog.vermorel.com 6y ago

Reuse of medical masks with sterilization via ionising radiation

vermorel
1pts0
news.ycombinator.com 6y ago

Ask HN: Irradiation to reuse surgical masks?

vermorel
25pts24
www.lokad.com 6y ago

Enterprise Resource Planning (ERP)

vermorel
4pts0
github.com 6y ago

Show HN: FasterMath, hardware-accelerated math functions for .NET Core 3.0

vermorel
4pts1
media.lokad.com 8y ago

A weirder definition of Bitcoin [pdf]

vermorel
1pts0
news.ycombinator.com 8y ago

Ask HN: Max data storage density?

vermorel
1pts0
news.ycombinator.com 10y ago

Ask HN: SaaS+experts flavor of startups?

vermorel
1pts1

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com Lokad is a bootstrapped profitable software company - 60 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

With 1M tokens, if snapshotting the LLM state is cheap, it would beat out-of-the-box nearly all RAG setups, except the ones dealing with large datasets. 1M tokens is a lot of docs.

The "cost" is storing the state of the LLM after processing the input. My back-of-the-envelop guesstimate gives me 1GB to capture the 8bit state of 70B parameters model (I might be wrong though, insights are welcome), which is quite manageable with NVMe storage for fast reload. The operator would charge per pay per "saved" prompt, plus maybe a fix per call fee to re-load the state.

Does any of those LLM-as-a-service companies provide a mechanism to "save" a given input? Paying only for the state storage and the extra input when continuing the completion from the snapshot?

Indeed, at 1M token and $15/M tokens, we are talking of $10+ API calls (per call) when maxing out the LLM capacity.

I see plenty of use cases for such a big context, but re-paying, at every API call, to re-submit the exact same knowledge base seems very inefficient.

Right now, only ChatGPT (the webapp) seems to be using such those snapshots.

Am I missing something?

Thanks! The interesting thing is that my casual observations indicate that GPT itself might already be good enough to self-arbiter itself. Just like a human writer can improve its own writing by iterating over it. In a sense, having humans in the loop were what it took (past) to gain the possibility to reach self-arbitration capacity.

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com

Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com

Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com

Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com

Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com

Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

Back story: Lokad has been a long time client of Microsoft Azure since 2009 even before the production release of (Windows) Azure. Unfortunately, the story of deploying over Azure has been a mess for more than a decade now. Five years ago, I was posting half a dozen of competing solutions to deploy code https://blog.vermorel.com/journal/2016/8/29/the-sad-state-of... Now, there would be a couple more entries. SshRun is our response to sanitize our own deployments, almost exclusively over Linux VMs nowadays.

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com

Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

I am the founder and CEO, you can contact me directly at j.vermorel@lokad.com.

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

I am the founder and CEO, you can contact me directly at j.vermorel@lokad.com.

Lokad.com | Full stack, Backend, Frontend, Compiler | REMOTE or ONSITE | Paris, France | Full-time | https://www.lokad.com

Lokad is a bootstrapped profitable software company - 50 employees and growing fast - that specializes on predictive supply chain optimization. We are based in France, but the majority of our clients are outside France.

Supply chains remain wasteful and poorly resilient to tail risks (as demonstrated by present day situation). We’re talking about roughly 15% of the worldwide economy: supply chains are vast, and double-digit improvements remain possible. We want to put supply chains on AI autopilot, and deliver above-human performance while doing so.

Technologies used: C#, F#, Typescript, .NET Core, Linux

Find out more: https://www.lokad.com/software-engineering

I am the founder and CEO, you can contact me directly at j.vermorel@lokad.com.

The 'Who is hiring' monthly posts on HN are a good source. There are a couple of companies hiring F# talent (shameless plug: Lokad does).