Search: github.com/BCsl | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Hails Web Platform Framework for Untrusted Plugins (hails.scs.stanford.edu)

1 point

12 years ago

92.

KVarN: Native vLLM backend for KV-cache quantization by Huawei (github.com/huawei-csl)

115 points

theanonymousone

11 hours ago

93.

LibCube: Find new sounds from audio synths easier (github.com/cslr)

55 points

8 months ago

94.

HCSL: Hand coded stringy lisp (github.com/0x3444ac53)

26 points

3 years ago

95.

Show HN: Test and improve your typing speed in the terminal (github.com/cslarsen)

8 points

9 years ago

96.

Very simple and scalable, distributed mutex for serializing computations (github.com/marcacohen)

7 points

10 years ago

97.

Show HN: Timemachine, create vulnerable Docker images for security experiments (github.com/CSLDepend)

6 points

10 years ago

98.

Show HN: Common Sense License (CSL) – civic license for a techno-feudal world (github.com/shmaplex)

5 points

7 months ago

99.

Sinkhorn: Make LLMs even smaller through quantisation while maintaining accuracy (github.com/huawei-csl)

4 points

8 months ago

100.

Yices SMT solver now open source (github.com/SRI-CSL)

3 points

9 years ago

101.

Simple, scalable, distributed mutex (with Go and shell clients) (github.com/marcacohen)

3 points

10 years ago

102.

Show HN: r/SpaceX Community Starship Loads Model Experiment (github.com/Czarified)

2 points

7 years ago

103.

CSLA.Net move to MIT license (github.com/MarimerLLC)

2 points

10 years ago

104.

Wpm – terminal program for measuring and improving your typing speed (github.com/cslarsen)

2 points

8 years ago

105.

Fast rendering of the Mandelbrot set in HTML5 canvas using JavaScript (github.com/cslarsen)

2 points

9 years ago

106.

Show HN: CSL, a C++ Integrated Shading Language (github.com/thonatt)

1 point

6 years ago

107.

Create iOS Apps that Looks Like the Path App (github.com/edgecase)

1 point

14 years ago

108.

Reinforcement learning environment for automated blue teams (github.com/Limmen)

1 point

3 years ago

109.

Show HN : CSLY, a C# embeddable lexer and parser generator (github.com/b3b00)

1 point

6 years ago

110.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

111.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

112.

Compression Scaling Law (CSL) – Detecting hidden structure in time series (github.com/Jorus120)

1 point

7 months ago

113.

Spark by Example is an adaptation of ACSL by Example for SPARK 2014, a programm (github.com/tofgarion)

1 point

4 years ago

114.

Useful Resources related to Technology & Startups (theniravshah.com)

4 points

15 years ago

115.

Show HN: Micrograph – GraphQL automation lib with middleware support (github.com/dylnslck)

15 points

9 years ago

116.

NSA's official guidance on firmware security (github.com/nsacyber)

5 points

7 years ago

117.

Show HN: CS quotes on the CLI – first pypi package (github.com/lwm)

2 points

11 years ago

118.

Show HN: A script to filter your Release Radar for only the newest music (github.com/McCambley)

1 point

2 years ago