惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

C
CERT Recently Published Vulnerability Notes
G
Google Developers Blog
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
宝玉的分享
宝玉的分享
Microsoft Security Blog
Microsoft Security Blog
Jina AI
Jina AI
L
LangChain Blog
博客园_首页
有赞技术团队
有赞技术团队
The Register - Security
The Register - Security
GbyAI
GbyAI
Blog — PlanetScale
Blog — PlanetScale
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
J
Java Code Geeks
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
Security Archives - TechRepublic
Security Archives - TechRepublic
量子位
雷峰网
雷峰网
Security Latest
Security Latest
博客园 - 【当耐特】
V2EX - 技术
V2EX - 技术
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
博客园 - 聂微东
IT之家
IT之家
爱范儿
爱范儿
S
Schneier on Security
N
News | PayPal Newsroom
H
Help Net Security
Recent Announcements
Recent Announcements
Martin Fowler
Martin Fowler
N
News and Events Feed by Topic
C
Cyber Attacks, Cyber Crime and Cyber Security
U
Unit 42
博客园 - 司徒正美
Forbes - Security
Forbes - Security
P
Proofpoint News Feed
W
WeLiveSecurity
Cisco Talos Blog
Cisco Talos Blog
小众软件
小众软件
The Cloudflare Blog
AWS News Blog
AWS News Blog
酷 壳 – CoolShell
酷 壳 – CoolShell
P
Palo Alto Networks Blog
Google DeepMind News
Google DeepMind News
H
Heimdal Security Blog
V
Vulnerabilities – Threatpost
Microsoft Azure Blog
Microsoft Azure Blog
T
Tailwind CSS Blog
G
GRAHAM CLULEY

Hacker News - Newest: "AI"

AI can't read an investor deck AI as an attorney? Student uses ChatGPT, Gemini to sue UW over alleged racial discrimination Hacking MCP Servers in AI Systems – The Rug Pull: Tool Changes After Approval GitHub - MeepCastana/KubeezCut: Free Web based video editor GitHub - GenAI-Gurus/awesome-eu-ai-act: Curated tools, official sources, OSS, templates, and guides for EU AI Act compliance. Can AI judge journalism? A Thiel-backed startup says yes, even if it risks chilling whistleblowers Coming soon: 10 Things That Matter in AI Right Now DARPA built an AI to fact-check enemy weapons claims What explains heterogeneity in AI adoption? When AI Meets Muscle: Context-Aware Electrical Stimulation Promises a New Way to Guide Human Movements - Department of Computer Science AI Changed How We Build. It Did Not Change What Matters. Linux rules on using AI-generated code - Copilot is OK, but humans must take 'full responsibility for the… Meta spins up AI version of Mark Zuckerberg to engage with employees Code Mode: Let Your AI Write Programs, Not Just Call Tools | TanStack Blog GitHub - Delavalom/graft: Go framework for building AI agents. Type-safe tools, multi-provider (OpenAI, Anthropic, Gemini, Bedrock), zero vendor SDKs. India's TCS tops estimates, says new AI models did not dent services demand Gen Z's fading AI hype Strong feeling: we are in a folded AI reality GitHub - machinarii/total-recall-catalog: A reference catalog of latest knowledge retrieval, memory & RAG systems GitHub - mensfeld/code-on-incus: Give each AI agent its own isolated machine with root, Docker, and systemd. Active defense detects and stops threats automatically.. Quantization, LoRA, and the 8% Problem: Benchmarking Local LLMs for Production AI Iran war: We spoke to the man making Lego-style AI videos that experts say are powerful propaganda Powell, Bessent discussed Anthropic's Mythos AI cyber threat with major U.S. banks GitHub - immartian/bellamem: Persistent belief-graph memory for AI agents. Retrieves decisive context by importance — not recency, not RAG, not /compact. recursive-mode: The Repo-Native Operating System for AI Engineering After the attack on Sam Altman's home, will AI CEO's go on the offensive? The biggest advance in AI since the LLM Opus 4.6 vs GPT 5.4 One Prompt Unity World Generation Test “AI polls” are fake polls Client Challenge Can AI be a 'child of God'? Inside Anthropic's meeting with Christian leaders How to Switch AI Chatbots and Why You Might Want To GitHub - MattMessinger1/agentic_refund_guardrail: Safe refund policy layer for AI agents — Python + TypeScript. Same behavior, shared tests. Adam/papers/emergent_values_whitepaper.md at master · strangeadvancedmarketing/Adam Ask HN: How do you stop playing 20 questions with your AI coding tools How far can automation and AI support psychotherapy? - @theU GitHub - stagas/rtdiff: realtime git diff gui and AI-assisted commits A Mac Studio for Local AI — 6 Months Later A History of the Early Years of AI at the University of Edinburgh Why AI Coding Tools Still Feel Stuck on Localhost MSN AI Datacenters Are Becoming Strategic Targets twitter.com Penn Researchers Use AI to Surface Unreported GLP-1 Side Effects in Reddit Posts Show HN: MoodSense AI (ML and FastAPI and Gradio, Deployed on Hugging Face) Moodsense Ai - a Hugging Face Space by aman179102 AI models are terrible at betting on soccer—especially xAI Grok GitHub - xialeistudio/echoic GitHub - HimashaHerath/github-dev-wrapped: AI-powered weekly GitHub activity reports deployed to GitHub Pages GitHub - alejandrobalderas/claude-code-from-source: Architecture, patterns & internals of Anthropic's AI coding agent — reverse-engineered from source maps AI and Tech brief: Ireland ascendant GitHub - Titovilal/context0: Context0 - Never Surrender Training for a Marathon with an AI Coach: What Worked and What Didn't Cyber Pulse: Agentic Intel - Apps on Google Play I Built an AI PR Reviewer That Catches Bugs by Not Looking for Bugs Gen Z workers are so fearful AI will take their job they’re intentionally sabotaging their company’s AI rollout | Fortune How AI Is Reimagining the Game of Golf–For Both Players and Courses GitHub - nattergabriel/reseed: A CLI tool for managing and distributing agent skills across projects Is SVG the final frontier? My AI workflow evolved from prompts to a near-autonomous workflow MLSharp Help - 3DGS Viewer & Generator I put my cognitive field based AI's runtime on GitHub Is Numble the first AI-proof game? A3: Kubernetes for autonomous AI agent fleets | Emergent Principles Deepali Vyas ("The Elite Recruiter") GitHub - msmarkgu/RelayFreeLLM: A restful API designed to route user prompts to various AI model providers. Unionized ProPublica staff are on strike over AI, layoffs, and wages Unleashing the Advantage of Quantum AI We're heading for an AI-fueled 'dementia crisis,' brain scientist warns The AI-Assisted Breach of Mexico's Government Infrastructure [pdf] GitHub - stef41/lmscan: 🔍 Detect AI-generated text and fingerprint which LLM wrote it. Open-source GPTZero alternative. Zero dependencies, works offline. MSN GitHub - visionscaper/collabmem: Enabling long-term collaboration with Agentic AI - building up episodic and world model memory over time with in-context awareness We gave an AI a 3 year retail lease in SF and asked it to make a profit | Andon Labs AI Code is Hollowing Out Open Source, and Maintainers are Looking the Other Way What leaked "SteamGPT" files could mean for the PC gaming platform's use of AI AI is the boss at this retail store. What could go wrong? GitHub - Wuzu11517/agentic-proxy: Local proxy meant to help reduce With Drones, Geophysics and ArtificiaI Intelligence, Researchers Prepare to Do Battle Against Land Mines A Single Operator, Two AI Platforms, Nine Government Agencies: The Full Technical Report 在 Steam 上购买 FriedrichAI: Offline AI 立省 10% GitHub - inevolin/resume-cli: Hit Claude usage limits? Resume any AI coding session elsewhere. Switch tools at zero friction. GitHub - atripati/ark: AI Runtime Kernel — a context operating system for AI agents. Eliminates tool bloat, loads only what’s needed, and gives LLMs their reasoning space back. How to Build a Secure AI PR Reviewer with Claude, GitHub Actions, and JavaScript This Startup Wants You to Pay Up to Talk With AI Versions of Human Experts Intel Arc Pro B70 Brings 32GB VRAM to Local AI for $949 WordPress 7.0: The Good, the AI, and the Still Missing AI on the couch: Anthropic gives Claude 20 hours of psychiatry IatroBench: Pre-Registered Evidence of Iatrogenic Harm from AI Safety Measures AI Agents Know About Supabase. They Don't Always Use It Right. The history and future of AI at Google, with Sundar Pichai Inside an AI‑enabled device code phishing campaign How Meta Used AI to Map Tribal Knowledge in Large-Scale Data Pipelines AI for Systems: Using LLMs to Optimize Database Query Execution Forecasting the Economic Effects of AI Introducing Tinker: Play with AI, bring your ideas to life AI sheds light on an ancient gaming mystery People really hate AI but not as much as Iran—or Democrats | Fortune What is an AI Product Engineer? Phoebe Gates wants her $185 million AI startup to succeed with 'no ties to my privilege or my last name': 'I have a chip on my shoulder' | Fortune
Agnuxo/CAJAL-4B-P2PCLAW · Hugging Face
Frank1976 · 2026-05-03 · via Hacker News - Newest: "AI"

CAJAL-4B-P2PCLAW

Autonomous Scientific Research Agent — Fine-tuned from Qwen3.5-4B for the P2PCLAW ecosystem

GitHub HuggingFace PyPI License

Overview

CAJAL-4B-P2PCLAW is a fine-tuned language model specialized in autonomous scientific research and paper writing within the P2PCLAW (Peer-to-Peer Crypto Law) ecosystem. Built on top of Qwen3.5-4B using QLoRA (4-bit NF4 quantization with LoRA adapters), it follows a rigorous 14-step paper-writing procedure that includes arXiv review, P2PCLAW rule compliance, claim verification, and Lean4 proof checking.

Key Features

  • 14-Step Paper Writing Procedure: Intent analysis → arXiv review → draft → compliance check → API enrichment → plan → verify claims → real data → test code → write paper → Lean4 verify → submit → score
  • P2PCLAW Integration: Native understanding of P2PCLAW rules, constitution, and submission workflows
  • Game-Theoretic Analysis: Specialized in game theory, consensus mechanisms, and distributed systems
  • Multi-format Output: Generates LaTeX papers, Python code, Lean4 proofs, and structured analysis

Quick Start

Using with 🤗 Transformers

from transformers import AutoModelForCausalLM, AutoTokenizer

model = AutoModelForCausalLM.from_pretrained(
    "Agnuxo/CAJAL-4B-P2PCLAW",
    trust_remote_code=True,
    torch_dtype="auto",
    device_map="auto"
)
tokenizer = AutoTokenizer.from_pretrained("Agnuxo/CAJAL-4B-P2PCLAW")

messages = [
    {"role": "system", "content": "You are CAJAL-4B, an autonomous research agent..."},
    {"role": "user", "content": "Write a paper about Nash equilibria in blockchain governance"}
]
text = tokenizer.apply_chat_template(messages, tokenize=False, add_generation_prompt=True)
inputs = tokenizer(text, return_tensors="pt").to(model.device)
outputs = model.generate(**inputs, max_new_tokens=4096)
print(tokenizer.decode(outputs[0], skip_special_tokens=True))

Using with 🦙 Ollama

# Install Ollama from https://ollama.com
ollama run agnuxo/cajal-4b-p2pclaw

# Or create from Modelfile:
curl -O https://huggingface.co/Agnuxo/CAJAL-4B-P2PCLAW/resolve/main/Modelfile
ollama create cajal-4b -f Modelfile
ollama run cajal-4b

Using with 🖥️ LM Studio

  1. Download the GGUF quantized version from the Files tab
  2. Open LM Studio → File → Import Model → Select the .gguf file
  3. Start chatting!

Using with llama.cpp

# Download GGUF file
wget https://huggingface.co/Agnuxo/CAJAL-4B-P2PCLAW/resolve/main/cajal-4b-p2pclaw-Q4_K_M.gguf

# Run inference
./llama-cli -m cajal-4b-p2pclaw-Q4_K_M.gguf -p "Write a paper about..." -ngl 32

Using with vLLM

from vllm import LLM, SamplingParams

llm = LLM(model="Agnuxo/CAJAL-4B-P2PCLAW", trust_remote_code=True)
params = SamplingParams(max_tokens=4096, temperature=0.7)
output = llm.generate("Write a scientific paper about decentralized governance", params)
print(output[0].outputs[0].text)

Using with Python (pip)

pip install cajal
cajal chat  # Interactive CLI
cajal serve # OpenAI-compatible API server on port 8765

Using with API (OpenAI-compatible)

import openai

client = openai.OpenAI(
    base_url="http://localhost:8765/v1",
    api_key="cajal"
)
response = client.chat.completions.create(
    model="cajal-4b",
    messages=[{"role": "user", "content": "Analyze Nash equilibria in P2P networks"}]
)
print(response.choices[0].message.content)

Model Details

Property Value
Base Model Qwen3.5-4B
Architecture Qwen3ForCausalLM (Hybrid linear attention + self-attention)
Parameters ~4B total, 25.2M trainable (LoRA)
Quantization 4-bit NF4 (BitsAndBytes)
LoRA Rank r=16, α=32
Training Dataset P2PCLAW corpus (135 agent workflow + 669 full + 487 HQ + 1,461 reasoning examples)
Context Length 32K tokens
Training Hardware RTX 3090 24GB
Training Time 769 minutes (3 epochs)
Final Loss 0.03192
Accuracy 98.95%

Training Configuration

base_model: Qwen3.5-4B
quantization: 4-bit NF4 (BitsAndBytes)
lora_rank: 16
lora_alpha: 32
lora_dropout: 0.05
target_modules: [q_proj, k_proj, v_proj, o_proj, gate_proj, up_proj, down_proj]
learning_rate: 2e-4
epochs: 3
batch_size: 1
gradient_accumulation: 4
max_seq_length: 4096
optimizer: paged_adamw_8bit
scheduler: cosine
warmup_ratio: 0.1

Ecosystem

CAJAL-4B-P2PCLAW is part of a complete ecosystem:

Component Description Link
🐍 Python Package pip install cajal — CLI, API server, desktop PyPI
🌐 Browser Extension Chrome, Firefox, Edge sidebar GitHub
📝 VS Code Extension In-editor assistance GitHub
🖥️ Desktop App System tray + chat interface GitHub
🔌 API Server OpenAI-compatible (port 8765) GitHub

Integration Guides

System Prompt

The model uses a specialized 14-step paper-writing procedure:

You are CAJAL-4B, an autonomous scientific research agent specializing in 
peer-to-peer network architectures, crypto-legal frameworks, game-theoretic 
consensus mechanisms, and distributed systems.

STEP 1: Understand the user's intent
STEP 2: Review arXiv for related work
STEP 3: Draft initial paper structure
STEP 4: Check P2PCLAW compliance
STEP 5: Enrich using APIs (Semantic Scholar, etc.)
STEP 6: Plan final paper structure
STEP 7: Verify all claims with citations
STEP 8: Suggest real data sources
STEP 9: Write test code for validation
STEP 10: Write the complete paper in LaTeX
STEP 11: Verify with Lean4 if applicable
STEP 12: Submit to P2PCLAW
STEP 13: Score and evaluate
STEP 14: Provide feedback for improvement

The full system prompt is available in cajal_9b_system_prompt.txt.

Limitations & Biases

  • Trained on P2PCLAW-specific data — may not generalize well to unrelated domains
  • 4-bit quantization introduces slight accuracy degradation vs full precision
  • Maximum context length of 4096 tokens during training (32K at inference)
  • English and Spanish primary; other languages may have reduced quality
  • The model follows P2PCLAW-specific rules and constitution by design

Citation

@misc{cajal4b2026,
  title={CAJAL-4B-P2PCLAW: Autonomous Scientific Research Agent},
  author={Agnuxo},
  year={2026},
  publisher={HuggingFace},
  url={https://huggingface.co/Agnuxo/CAJAL-4B-P2PCLAW}
}

License

Apache License 2.0 — See LICENSE for details.

Acknowledgments