Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Ben-Gvir(wikipedia.org ↗)
    discuss
  2. A 137ms Sparse-Matrix 3-SAT Solver for 10k Variables(github.com/11developer11 ↗)
    discuss
  3. Show HN: Claude Code hits its 5-hour limit, Codex picks up in the same terminal(github.com/ucsandman ↗)
    discuss
  4. Ben Shapiro(wikipedia.org ↗)
    discuss
  5. It's not just LG. Every TV company is spying on you(theverge.com ↗)
    discuss
  6. Ben (BB) Netanyahu(wikipedia.org ↗)
    discuss
  7. The Doomsday Cult Inside OpenAI – Patrick Boyle [video](youtube.com ↗)
    discuss
  8. Ragnarok Online client written in Golang(github.com/kivutar ↗)
    discuss
  9. Certify the Conversation, Not Just the AI Agent(anuclei.com ↗)
    discuss
  10. Wandering Around Tokyo on Google Maps(ahmedhossamdev.com ↗)
    discuss
  11. JavaFX 27 Native Image on a Raspberry Pi 5(ennerf.github.io ↗)
    discuss
  12. Tay Al-Ard(wikipedia.org ↗)
    discuss
  13. Visualizing the ABA Problem: What Crossbeam-Epoch Solves(sofiabelen.github.io ↗)
    discuss
  14. AI Made Delegation Easy: Structure Is Still the Skill(syntheticauth.ai ↗)
    discuss
  15. Guesswork – zsh autosuggestions ranked by an AI model instead of prefix match(findmalek.com ↗)
    discuss
  16. Kefitzat Haderech(wikipedia.org ↗)
    discuss
  17. Agreement between the USA and Denmark (1951,2004) [pdf](state.gov ↗)
    discuss
  18. Delightfully, such expressions are called biscuit conditionals(futilitycloset.com ↗)
    discuss
  19. Brood War Bench(swerdlow.dev ↗)
    1comments
  20. Project Defuse: Defusing the Threat of Bat-Borne Coronaviruses(documentcloud.org ↗)
    1comments
  21. FocusFlow – Turn complex architecture diagrams into 60fps cinematic stories(tumio.site ↗)
    discuss
  22. Significant Figures: Emmy Noether(chalkdustmagazine.com ↗)
    discuss
  23. Replacing gas stoves with electric stoves greatly reduces asthma symptoms(theconversation.com ↗)
    discuss
  24. Wes Anderson's Criterion Mobile Closet Picks(youtube.com ↗)
    discuss
  25. Show HN: JJHub – Code collaboration platform for Jujutsu(jjhub.dev ↗)
    1comments
  26. A world formed in darkness reveals its secrets(abc.net.au ↗)
    discuss
  27. 'Sketchy AF': What to Know About How OpenAI Staff Discussed Book-Pirating(wsj.com ↗)
    discuss
  28. Ask HN: As a freelancer how should I charge my clients in AI era?
    discuss
  29. AI Safety Is Mostly a Sex Cult(bsky.app ↗)
    2comments
  30. iLead – A local-first infrastructure workspace for SSH(ileadapp.org ↗)
    discuss

TimeCodeSecurity – Deterministic AST SAST and Auto-Remediation for Python

2 pointsby 4h ago
0 comments
Hi Hacker News! I built TimeCodeSecurity (TCS), an open-source static security engine for Python.

Most existing open-source SAST tools rely on regex patterns or LLMs, leading to high false-positive rates and alert fatigue. TCS takes a compiler-level deterministic approach: it parses Python's Abstract Syntax Tree (AST) and tracks dataflow from function parameters directly into sensitive execution sinks (subprocess.run, raw SQL cursors, and path operations).

Key highlights: - Deterministic AST taint tracking (Zero regex / Zero AI guessing) - Closed-loop remediation: Patches are validated via AST syntax compilation and re-scanned in-memory before touching disk - Chronological visual proof graphs: Source -> Taint -> Sink - Sub-second execution (~700ms)

You can run it directly in your terminal:

  pip install git+https://github.com/kushigaur3103-svg/time-code-security.git
  tcs scan ./your_project --fix
GitHub: https://github.com/kushigaur3103-svg/time-code-security

Would love feedback on the AST traversal and in-memory verification approach! https://github.com/kushigaur3103-svg/time-code-security And that's my linkdin link https://www.linkedin.com/in/ayush-gaur-1488b1420?utm_source=share_via&utm_content=profile&utm_medium=member_android

A quiet thread, for now.Start the conversation on HN ↗