The Daily Index — Wednesday, December 20, 2023

Repositories, courses and useful tools

Resources & Tools

TLDR · GitHub repository

QUINT

Quint is a specification language particularly useful for distributed systems. It combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art type checking and development tooling. Quint features a simple and familiar syntax, an expressive type system, a novel effect system, a simulator, a symbolic model checker, and more.

github.com

TLDR · GitHub repository

SOLID QUEUE

Solid Queue is a DB-based queuing backend for Active Job that supports delayed jobs, concurrency controls, pausing queues, numeric priorities per job, and priorities by queue order.

github.com

TLDR AI · GitHub repository

LLMLINGUA

LLMLingua uses a well-trained small language model after alignment to detect unimportant tokens in a prompt and enable inference with the compressed prompt in black-box LLMs, achieving up to 20x compression with minimal performance loss.

github.com

TLDR AI · GitHub repository

ENHANCED REAL-TIME RENDERING

This project introduces Space-time Supersampling (STSS), a framework that significantly improves high-resolution, high-frame-rate content in real-time rendering.

github.com

TLDR AI · GitHub repository

DISTIL WHISPER

Distil-Whisper is a distilled version of Whisper that is 6 times faster, 49% smaller, and performs within 1% WER on out-of-distribution evaluation sets.

github.com

TLDR AI · GitHub repository

TOKENIZE ANYTHING

This new model surpasses previous capabilities by simultaneously performing image segmentation, recognition, and captioning.

github.com

TLDR AI · Tool

OUTBUNDLY

AI-powered cold email outreach.

outboundly.ai

TLDR Web Dev · Tool

TSDOCS

TSDocs is a platform that allows you to browse type reference documentation for JavaScript packages. It even works for packages that aren’t written in TypeScript or for packages that re-export types from another package.

tsdocs.dev

TLDR Web Dev · GitHub repository

RE:DOM

RE:DOM is a small UI library built to create DOM elements and keep them in sync with live data. It doesn’t use the virtual DOM and therefore uses less memory than other virtual DOM-based libraries. Developers can use pure JavaScript if needed, eliminating the need for complex templating languages.

github.com

TLDR Web Dev · GitHub repository

KANBAN-PYTHON

Kanban-python is a terminal Kanban board built in Python with the help of pyscaffold. It comes with features like custom column creation, automatic scanning, and a customizable config file, all created to help you be more productive.

github.com

TLDR InfoSec · Tool

XEOL

Xeol’s focus is to secure software throughout its lifecycle, beginning at the code repository all the way through delivery to customers. Using an agentless system and basing themselves on SBOMs, Xeol manages enterprises' end-of-life software when publishers no longer provide security patches and brings visibility to them.

xeol.io

TLDR InfoSec · GitHub repository

SECHUB

The free and open-source security platform SecHub has a central API for testing software with different security tools. It supports many free, open-source, and proprietary security tools.

github.com

TLDR InfoSec · GitHub repository

ATLASLDR

AtlasLdr is a reflective x64 loader that uses dynamic indirect syscalls that can be used to avoid detection by Endpoint Detection and Response(EDR) systems.

github.com

TLDR Design · Tool

HEROICONS MICRO

Tailwind's new micro style features almost three hundred 16×16 icons designed for tighter, higher-density UIs.

tailwindcss.com

TLDR Design · Tool

UX IDEAS

A collection of over 1,000 UX ideas for your case studies and personal projects.

uxideas.vercel.app

TLDR Design · Tool

THE CLIMATE CHANGED LOGO

The website for an updated UN logo - it is collecting petition signatures for more action against climate change.

theclimatechangedlogo.com

TLDR Founders · Tool

V0 BY VERCEL

Describe the interface you want and this tool will whip it up for you, complete with React code to go with it.

v0.dev

TLDR Founders · Tool

CAPGO

Fastest market research in spreadsheet.

capgo.ai